Re: Generalizing DAG rewriting

2017-02-09 Thread Amirouche
Le 09/02/2017 à 10:55, Ludovic Courtès a écrit : Hi! Ricardo Wurmus skribis: Myles English writes: Hello Fede, Eric, on [2017-02-07] at 15:15 Federico Beffa writes: [...] it seems that the only Python specific part of 'package-with-explicit-python' is the keyword '#:python'. What do

Installing the Xfce DE installs Unity

2017-02-09 Thread Niall Dooley
I installed the Xfce (meta) package and on restarting the available DE on the login screen are the default (Trisquel) Gnome and Unity. Selecting Unity does indeed present a Unity session and not the expected Xfce. Any ideas? Niall

Re: Package Installation Queries

2017-02-09 Thread Niall Dooley
On 8 February 2017 at 22:47, Carlo Zancanaro wrote: > On Wed, Feb 08 2017, Niall Dooley wrote >> (2) In terms of Emacs, do fellow Guix users install all packages via Guix >> instead of the traditional ELPA, MELPA route. I suspect they do as I guess >> that is the point. But I ask for advice as my

Re: Package Installation Queries

2017-02-09 Thread Niall Dooley
On 8 February 2017 at 21:51, Alex Kost wrote: > > Niall Dooley (2017-02-08 17:24 +0100) wrote: > > > Firstly, I'm an aspiring programmer/hacker and I've gone straight > > into the deep end with trying to learn GNU/Linux, Emacs etc. I'm also > > new to Guix and this community so excuse my ignorance

Operation System not found

2017-02-09 Thread Catonano
The installation process finished successfully but then the machine doesn' t boot :-/ I tried also with a single huge partition mounted on / Same result :-/ Did this happen to anyone else ? Thanks

Re: root encryption

2017-02-09 Thread Catonano
I managed to make the process end with no errors but then no operating system to boot can be found :-/

Re: root encryption

2017-02-09 Thread Catonano
I just realized I have mistyped the grub configuration (bootloader (grub-configuration (device "/dev/sd1"))) it should probably be (bootloader (grub-configuration (device "/dev/sda1"))) or (bootloader (grub-configuration (device "/dev/sda")))

Re: root encryption

2017-02-09 Thread Catonano
2017-02-09 16:40 GMT+01:00 Ludovic Courtès : > Catonano skribis: > > > > If the root partition is not encrypted (and not RAID or anything like > that), you don’t need to declare a “mapped device” for it. All you need > is to declare a file system in the ‘file-systems’ field. > > HTH! > Yes, it

Re: root encryption

2017-02-09 Thread Ludovic Courtès
Catonano skribis: > Given this excerpt from the sample desktop installation conf > > (mapped-devices >(list (mapped-device > (source (uuid "12345678-1234-1234-1234-123456789abc")) > (target "the-root-device") > (type luks-device-mapping > > I wonder: what'

Re: root encryption

2017-02-09 Thread Catonano
ok, ok: ext4

root encryption

2017-02-09 Thread Catonano
Given this excerpt from the sample desktop installation conf (mapped-devices (list (mapped-device (source (uuid "12345678-1234-1234-1234-123456789abc")) (target "the-root-device") (type luks-device-mapping I wonder: what' s the type for a non Luks encrypted

Introductory article in French

2017-02-09 Thread Ludovic Courtès
Bonjour Guix ! For French speakers, here’s an introductory article you may find useful: http://connect.ed-diamond.com/GNU-Linux-Magazine/GLMF-194/Gestion-de-paquets-sure-et-flexible-avec-GNU-Guix http://people.bordeaux.inria.fr/lcourtes/guix-glmf-201606.pdf It was originally published in Ju

Re: Package Installation Queries

2017-02-09 Thread Ludovic Courtès
Hello! Carlo Zancanaro skribis: > I install all of my Emacs packages via Guix, but in an usual way. I have > written a script which takes in a list of Emacs packages that I want to > install, then uses the Elpa importer to generate a Guix package (the > scheme data structure) which I can build u

Generalizing DAG rewriting

2017-02-09 Thread Ludovic Courtès
Hi! Ricardo Wurmus skribis: > Myles English writes: > >> Hello Fede, Eric, >> >> on [2017-02-07] at 15:15 Federico Beffa writes: [...] >>> it seems that the only Python specific part of >>> 'package-with-explicit-python' is the keyword '#:python'. What do you >>> think of generalizing it by m