Re: Language tag for traditional Chinese

2018-03-06 Thread Alex Vong
Hello Tobias, Ludo, Tobias Geerinckx-Rice writes: > Ludo', Alex, > > On 2018-03-05 9:45, l...@gnu.org wrote: >>> The locale should be zh_TW (for Taiwan), zh_HK (for Hong Kong) and >>> zh_mo >>> (for Macau). Should I use a let to avoid duplication? >> >> As long as the above sentence is intelligi

Re: bug#30706: Nginx service fails

2018-03-06 Thread Danny Milosavljevic
Hi Ludo, > If you run this on an “old” GuixSD, ‘find-long-options’ is undefined. How can it be that (gnu services base) with find-long-options call is present but the (gnu build linux-boot)'s find-long options isn't present? Aren't they either both added by "guix system reconfigure" (or both rem

Re: Is staging open again?

2018-03-06 Thread Marius Bakke
Hartmut Goebel writes: > Hi, > > I have a patch which should go to staging (600 packages need recompile). > Is staging open for commit? Staging is nearly fully built, so it will have to wait until next round. Generally, branches 'close' once a Hydra evaluation starts. Check in here for progres

Outreachy round 16

2018-03-06 Thread Aakanksha Jain
Hi I'm Aakanksha, currently a B.tech 2nd-year student, I'm interested in working on the project "*Improve the user experience for Guix package*". I know C/C++ fair enough, I have experience working with GIT too. Can anyone tell me how do I begin contributing?

Regarding Outreachy round 16

2018-03-06 Thread Aakanksha Jain
Hi I'm Aakanksha, currently a B.tech 2nd-year student, I'm interested in working on the project "*Improve the user experience for Guix package*". I know C/C++ fair enough, I have experience working with GIT too. Can anyone tell me how do I begin contributing?

Re: quirky behaviour of “guix environment”

2018-03-06 Thread Ricardo Wurmus
Chris Marusich writes: > Ricardo Wurmus writes: > >> 1.) the environment includes glibc and its executables. Is this ever >> desired? When loading an environment from a file or from a package >> (i.e. when “--ad-hoc” is NOT provided) “guix environment” uses >> “package-environment

Re: Regarding Outreachy round 16

2018-03-06 Thread Gábor Boskovits
2018-03-06 17:03 GMT+01:00 Aakanksha Jain : > Hi I'm Aakanksha, currently a B.tech 2nd-year student, > I'm interested in working on the project "*Improve the user experience > for Guix package*". I know C/C++ fair enough, I have experience working > with GIT too. > > Can anyone te

Re: Regarding Outreachy round 16

2018-03-06 Thread Gábor Boskovits
2018-03-06 20:24 GMT+01:00 Gábor Boskovits : > 2018-03-06 17:03 GMT+01:00 Aakanksha Jain : > >> Hi I'm Aakanksha, currently a B.tech 2nd-year student, >> I'm interested in working on the project "*Improve the user experience >> for Guix package*". I know C/C++ fair enough, I have

Outreachy'18

2018-03-06 Thread Reshu Singh
I am trying to install GUIX for ubuntu using sh script. I have named the script "guix-install.sh".I created the sh file in nano and ran using bash guix-install.sh Encountering an error "guix-install.sh: line 249: /home/reshu/.guix-profile/etc/profile: No such file or directory".

Re: Outreachy'18

2018-03-06 Thread Konrad Hinsen
On 06/03/2018 20:34, Reshu Singh wrote: I am trying to install GUIX for ubuntu using sh script. I have named the script "guix-install.sh".I created the sh file in nano and ran using bash guix-install.sh Encountering an error "guix-install.sh: line 249: /home/reshu/.guix-profile/etc/profile: No

Re: Outreachy'18

2018-03-06 Thread Ricardo Wurmus
Hi Reshu, > I am trying to install GUIX for ubuntu using sh script. I have named the > script "guix-install.sh".I created the sh file in nano and ran using bash > guix-install.sh Encountering an error "guix-install.sh: line 249: > /home/reshu/.guix-profile/etc/profile: No such file or directory".

Re: Outreachy'18

2018-03-06 Thread Tobias Geerinckx-Rice
Reshu, Konrad, Welcome to Guix! I hope you enjoy your stay :-) On 2018-03-06 21:06, Konrad Hinsen wrote: On 06/03/2018 20:34, Reshu Singh wrote: I am trying to install GUIX for ubuntu using sh script. I have named the script "guix-install.sh". I created the sh file in nano and ran using bash

Where to queue patches for staging? (was: Is staging open again?)

2018-03-06 Thread Hartmut Goebel
Am 06.03.2018 um 18:03 schrieb Marius Bakke: > Staging is nearly fully built, so it will have to wait until next round. > Generally, branches 'close' once a Hydra evaluation starts. Check in > here for progress: . This sound complicated for the occasional

Re: Outreachy'18

2018-03-06 Thread Tobias Geerinckx-Rice
On 2018-03-06 21:54, Tobias Geerinckx-Rice wrote: you should be able to simply run ‘sudo bash ./etc/guix-install.sh’ ...sent seconds before Ricardo's correction arrived, of course :-) Kind regards, T G-R Sent from a Web browser. Excuse or enjoy my brevity.

Re: Outreachy'18

2018-03-06 Thread Gábor Boskovits
2018-03-06 21:32 GMT+01:00 Ricardo Wurmus : > > Hi Reshu, > > > I am trying to install GUIX for ubuntu using sh script. I have named the > > script "guix-install.sh".I created the sh file in nano and ran using bash > > guix-install.sh Encountering an error "guix-install.sh: line 249: > > /home/res

Re: Outreachy'18

2018-03-06 Thread Ricardo Wurmus
Hi Tobias, > That said, you should consider installing Guix manually using the > guide above, instead of using a script: > > - The installation script is still quite new and probably won't work > in all cases. > - Error reporting is primitive, as you've experienced, which makes it > hard for us t

Re: Outreachy'18

2018-03-06 Thread Clément Lassieur
Reshu Singh writes: > I am trying to install GUIX for ubuntu using sh script. I have named the > script "guix-install.sh".I created the sh file in nano and ran using bash > guix-install.sh Encountering an error "guix-install.sh: line 249: > /home/reshu/.guix-profile/etc/profile: No such file or d

Re: Outreachy'18

2018-03-06 Thread Ricardo Wurmus
Konrad Hinsen writes: > On 06/03/2018 20:34, Reshu Singh wrote: > >> I am trying to install GUIX for ubuntu using sh script. I have named >> the script "guix-install.sh".I created the sh file in nano and ran >> using bash guix-install.sh Encountering an error "guix-install.sh: >> line 249: /home

Re: Outreachy'18

2018-03-06 Thread Reshu Singh
Thanks!Working on it :) On Wed, 7 Mar 2018 at 3:04 AM, Ricardo Wurmus wrote: > > Hi Tobias, > > > That said, you should consider installing Guix manually using the > > guide above, instead of using a script: > > > > - The installation script is still quite new and probably won't work > > in all

[PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

2018-03-06 Thread Alex ter Weele
On guix-devel¹, I had given an incomplete patch to update idris to 1.2.0. After further investigation, I concluded this was the wrong approach because our current version of GHC is 8.0.2, so the right version of LTS Haskell to follow is https://www.stackage.org/lts-9.4, which includes Idris 1.0, no

Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

2018-03-06 Thread Ricardo Wurmus
Hi Alex, > On guix-devel¹, I had given an incomplete patch to update idris to > 1.2.0. After further investigation, I concluded this was the wrong > approach because our current version of GHC is 8.0.2, so the right > version of LTS Haskell to follow is https://www.stackage.org/lts-9.4, > which i

installing python 2 and python 3 in the same profile

2018-03-06 Thread Ricardo Wurmus
Hi Guix, with the introduction of the collision avoidance feature that prevents you from installing different variants of the same package into a profile we made it impossible to install “python” and “python@2” into the same profile. It still works with ad-hoc environments, but manifests containi