bug#30728: Modification for guix installation script.

2018-03-29 Thread Clément Lassieur
Hi Tatiana, Tatiana Sholokhova writes: > Hello! > > > Could you please make that change on top of the current version of the > Guix sources as a git commit? Then you can run “git format-patch -1” to > format it as a patch in a format that we can apply. You can send the > resultin

bug#30728: Modification for guix installation script.

2018-03-29 Thread Clément Lassieur
Gábor Boskovits writes: > 2018-03-26 11:11 GMT+02:00 Ricardo Wurmus : > >> >> Hi Clément, >> >> > As I said to Chris (Cc'ed), I don't think it's a good idea to install >> > Guix in root's home directory. Instead, we should probably honor the >> > USER and HOME environment variables, so that the

bug#30728: Modification for guix installation script.

2018-03-27 Thread Gábor Boskovits
2018-03-26 11:11 GMT+02:00 Ricardo Wurmus : > > Hi Clément, > > > As I said to Chris (Cc'ed), I don't think it's a good idea to install > > Guix in root's home directory. Instead, we should probably honor the > > USER and HOME environment variables, so that the command can be run as a > > non-roo

bug#30728: Modification for guix installation script.

2018-03-26 Thread Tatiana Sholokhova
Hello! Could you please make that change on top of the current version of the > Guix sources as a git commit? Then you can run “git format-patch -1” to > format it as a patch in a format that we can apply. You can send the > resulting patch file as an attachment to a reply to this email. > This

bug#30728: Modification for guix installation script.

2018-03-26 Thread Clément Lassieur
Hi Ricardo and Marius, Marius Bakke writes: > The binary installation tarball only comes with a profile for 'root'. Indeed, but it's easy to copy it for any user isn't it? > The problem is that the installation script assumes $HOME will expand to > ~root when sourcing the profile, but as you f

bug#30728: Modification for guix installation script.

2018-03-26 Thread Ricardo Wurmus
Hi Clément, > As I said to Chris (Cc'ed), I don't think it's a good idea to install > Guix in root's home directory. Instead, we should probably honor the > USER and HOME environment variables, so that the command can be run as a > non-root user (with sudo) in a consistent way. What do you thin

bug#30728: Modification for guix installation script.

2018-03-26 Thread Clément Lassieur
Hi Tatiana, Tatiana Sholokhova writes: > Hello! My name is Tatiana. > > I have installed guix for the first time and noticed that the installation > script at > https://git.savannah.gnu.org/cgit/guix.git/tree/etc/guix-install.sh did not > work for me. So, I had to make some modifications. > > Th

bug#30728: Modification for guix installation script.

2018-03-25 Thread Mark H Weaver
Ricardo Wurmus writes: >> I have installed guix for the first time and noticed that the installation >> script at >> https://git.savannah.gnu.org/cgit/guix.git/tree/etc/guix-install.sh did not >> work for me. So, I had to make some modifications. >> >> There was a problem with the path to root us

bug#30728: Modification for guix installation script.

2018-03-25 Thread Ricardo Wurmus
Hi Tatiana, > I have installed guix for the first time and noticed that the installation > script at > https://git.savannah.gnu.org/cgit/guix.git/tree/etc/guix-install.sh did not > work for me. So, I had to make some modifications. > > There was a problem with the path to root user home directory