Re: rustup & cargo

2018-10-13 Thread Chris Marusich
Brett Gilio writes: > [W]hat I wish was available was a nightly build of the rust branch. It might be possible to have the Guix build farm build the rust branch. I'm not sure how much load it would add to the build farm, though. Maybe someone else on the list would know more? Another possibilit

Re: Making javadoc reproducible

2018-10-13 Thread Gábor Boskovits
Chris Marusich ezt írta (időpont: 2018. okt. 14., V, 5:35): > > Hi Gábor and Vagrant, > > Vagrant Cascadian writes: > > > There's been some discussion about this in Debian and in reproducible > > builds: > > > > https://bugs.debian.org/783938 > > > > > > https://wiki.debian.org/ReproducibleB

Re: move "source /etc/profile" from .zlogin to .zprofile

2018-10-13 Thread Chris Marusich
Hi Leo and Meiyo, Leo Famulari writes: > On Sat, Oct 13, 2018 at 06:33:59PM -0700, Chris Marusich wrote: >> [...] If .zprofile and .zlogin are both meant to serve the same >> purpose, then I'm not sure why one would be preferable over the >> other. > > The difference is that they are used at di

Re: Making javadoc reproducible

2018-10-13 Thread Chris Marusich
Hi Gábor and Vagrant, Vagrant Cascadian writes: > There's been some discussion about this in Debian and in reproducible > builds: > > https://bugs.debian.org/783938 > > > https://wiki.debian.org/ReproducibleBuilds/TimestampsInDocumentationGeneratedByJavadoc > > > https://tests.reproducib

Re: move "source /etc/profile" from .zlogin to .zprofile

2018-10-13 Thread Meiyo Peng
Hi Chris, /etc/profile should do the preparation work for users settings in .zshrc. But since .zlogin is sourced after .zshrc, it will override users settings in .zshrc. It resets $PATH and many other environment variables. This is counterintuitive. You can find what archlinux did here: https://w

Re: Channel dependencies

2018-10-13 Thread Chris Marusich
Hi Ricardo, Ricardo Wurmus writes: > the attached patch allows channel authors to declare other channels as > dependencies of their own channel. > > [...] > > What do you think? It's very cool! > +(define (channel-instance-dependencies instance) > + "Return the list of channels that are decla

Re: move "source /etc/profile" from .zlogin to .zprofile

2018-10-13 Thread Leo Famulari
On Sat, Oct 13, 2018 at 06:33:59PM -0700, Chris Marusich wrote: > The same documentation you linked says: > > `.zprofile' is meant as an alternative to `.zlogin' for ksh fans; > the two are not intended to be used together, although this could > certainly be done if desired. > > Is th

Re: move "source /etc/profile" from .zlogin to .zprofile

2018-10-13 Thread Chris Marusich
Hi Meiyo, Meiyo Peng writes: > Guix's default skeletons put "source /etc/profile" into ~/.zlogin. But > /etc/profile resets the PATH environment variable, exports many other > environment variables, and source /etc/bashrc. According to > http://zsh.sourceforge.net/Intro/intro_3.html .zlogin is s

Re: rustup & cargo

2018-10-13 Thread Brett Gilio
Chris Marusich writes: Hi Brett! Welcome! I'm also curious about the situation with Rust. I'm learning Rust because I find it interesting, and I use GuixSD, so here my two interests (Rust and Guix) overlap. Brett Gilio writes: Hi all, I am curious about the status of providing rustup

Re: rustup & cargo

2018-10-13 Thread Chris Marusich
Hi Brett! Welcome! I'm also curious about the situation with Rust. I'm learning Rust because I find it interesting, and I use GuixSD, so here my two interests (Rust and Guix) overlap. Brett Gilio writes: > Hi all, I am curious about the status of providing rustup toolchain > management and ca

Re: [outreach] Help trying to create R package

2018-10-13 Thread Laura Lazzati
On Sat, Oct 13, 2018 at 3:25 PM Catonano wrote: > > Hi Laura ! > > Il giorno sab 13 ott 2018 alle ore 15:37 Laura Lazzati > ha scritto: > > > > Hi! > > I'm creating a new thread so that it does not end up messy. > > I am reading about defining new packages, and since I have always > > installed

Re: rootless Guix

2018-10-13 Thread Ricardo Wurmus
Ludovic Courtès writes: > Hello! > > Ricardo Wurmus skribis: > >> it would be nice if we could simplify the case where a user does not >> have root access, but the system supports user namespaces. >> >> Currently, a user would have to perform a number of non-obvious steps to >> somehow run the

Re: Making javadoc reproducible

2018-10-13 Thread Alex Vong
Hello, Vagrant Cascadian writes: > On 2018-10-12, Björn Höfling wrote: >> On Fri, 12 Oct 2018 19:35:51 +0200 >> Gábor Boskovits wrote: >>> Gábor Boskovits ezt írta (időpont: 2018. okt. >>> 12., P, 19:00): >>> > I've tracked down the javadoc timestamp problem. >>> > There is a command line flag

Re: [outreach] Help trying to create R package

2018-10-13 Thread Catonano
Hi Laura ! Il giorno sab 13 ott 2018 alle ore 15:37 Laura Lazzati < laura.lazzati...@gmail.com> ha scritto: > > Hi! > I'm creating a new thread so that it does not end up messy. > I am reading about defining new packages, and since I have always > installed R with apt, I am trying to do so with .

Re: [outreach] Help trying to create R package

2018-10-13 Thread Gábor Boskovits
Hello Laura, Laura Lazzati ezt írta (időpont: 2018. okt. 13., Szo, 15:37): > > Hi! > I'm creating a new thread so that it does not end up messy. > I am reading about defining new packages, and since I have always > installed R with apt, I am trying to do so with ./configure make make > install t

Re: Using 'λ'

2018-10-13 Thread Leo Famulari
On Sat, Oct 13, 2018 at 04:51:48PM +0800, Alex Vong wrote: > Hello guix, > > Should we allow the use of 'λ' in guix? I think we have discussed it > before, but I forget why it was rejected. Running 'rgrep' on source > shows 7 uses of it. I think it is syntactically more pleasant and it > encourges

Re: Gradio attempt

2018-10-13 Thread Leo Famulari
On Fri, Oct 12, 2018 at 12:36:27PM -0500, Brett Gilio wrote: > I tried the same thing after I sent the initial email and looking at the > build process more closely. But, I am in the same position as you, no > luck. I am not sure how it is verifying the presence of the codec, if it > is looking in

move "source /etc/profile" from .zlogin to .zprofile

2018-10-13 Thread Meiyo Peng
Hello, Guix's default skeletons put "source /etc/profile" into ~/.zlogin. But /etc/profile resets the PATH environment variable, exports many other environment variables, and source /etc/bashrc. According to http://zsh.sourceforge.net/Intro/intro_3.html .zlogin is sourced after .zshrc and should n

[outreach] Help trying to create R package

2018-10-13 Thread Laura Lazzati
Hi! I'm creating a new thread so that it does not end up messy. I am reading about defining new packages, and since I have always installed R with apt, I am trying to do so with ./configure make make install to have it running on my VM, and then try to create the package and check if both works I

Re: Using 'λ'

2018-10-13 Thread Alex Vong
Hi T G-R, Tobias Geerinckx-Rice writes: > Alex, > > Alex Vong wrote: >> Hello guix, >> >> Should we allow the use of 'λ' in guix? I think we have discussed >> it >> before, but I forget why it was rejected. Running 'rgrep' on source >> shows 7 uses of it. I think it is syntactically more pleasan

Re: Using 'λ'

2018-10-13 Thread Tobias Geerinckx-Rice
Alex, Alex Vong wrote: Hello guix, Should we allow the use of 'λ' in guix? I think we have discussed it before, but I forget why it was rejected. Running 'rgrep' on source shows 7 uses of it. I think it is syntactically more pleasant and it encourges the use of short functions (at least for

Re: Estimating build time

2018-10-13 Thread Pierre Neidhardt
Same here, I love it! -- Pierre Neidhardt https://ambrevar.xyz/ signature.asc Description: PGP signature

Re: Flagging packages

2018-10-13 Thread Clément Lassieur
Hi Brett, We currently use the bugtracker for such things. You can send an email to bug-g...@gnu.org saying that package xxx is out of date. The bugtracker is a nice tool because one can report things with just an email. Plus, it makes it easy to keep track of things to do. You can report thin

Using 'λ'

2018-10-13 Thread Alex Vong
Hello guix, Should we allow the use of 'λ' in guix? I think we have discussed it before, but I forget why it was rejected. Running 'rgrep' on source shows 7 uses of it. I think it is syntactically more pleasant and it encourges the use of short functions (at least for me!). Cheers, Alex signatu