Re: New ‘guix pull’

2018-10-15 Thread Ludovic Courtès
Pjotr Prins skribis: > Just a quick thank you to all Guix developers. > > Today I did the bi-annual full update of the Genenetwork graph - the > webservice we run - and the process was incredibly smooth. Much better > than previous times. I also have the impression that everything runs > faster

Re: New ‘guix pull’

2018-10-14 Thread Pjotr Prins
Just a quick thank you to all Guix developers. Today I did the bi-annual full update of the Genenetwork graph - the webservice we run - and the process was incredibly smooth. Much better than previous times. I also have the impression that everything runs faster. Nice colors too :). It is star

Re: New ‘guix pull’ - guile-sqlite3 problem

2018-07-19 Thread Chris Marusich
Pjotr Prins writes: > guix environment guix will only work if the daemon is up-to-date > (right?). I had to get that upgrade sorted, that was the pain. I think "guix environment guix" should drop you into an environment where the guix package's inputs are available, regardless of what version o

Re: New ‘guix pull’ - guile-sqlite3 problem

2018-07-19 Thread Pjotr Prins
On Tue, Jul 17, 2018 at 10:32:25PM -0700, Chris Marusich wrote: > > Now I am creating an environment to build the source tree with > > > > env -i /bin/bash --login --noprofile --norc > > guix environment guix --ad-hoc help2man git strace \ > > pkg-config less vim binutils coreutils grep gui

Re: New ‘guix pull’ - guile-sqlite3 problem

2018-07-17 Thread Chris Marusich
Pjotr Prins writes: > So I updated guix pull multiple times :) and both daemon and client > are at > > guix (GNU Guix) ecba50bb79a49b317c4b1e718f4732b36438227f > > Now I am creating an environment to build the source tree with > > env -i /bin/bash --login --noprofile --norc > guix environme

Re: New ‘guix pull’ /root/.config/current/bin/guix: Permission denied

2018-07-13 Thread Pjotr Prins
On Fri, Jul 13, 2018 at 02:04:22PM +0200, Ludovic Courtès wrote: > guix-daemon runs as root, so I wonder why we’re getting EACCES for > /root/.config/current/bin/guix. > > Thanks for reporting the issue Thanks Ludo, when I see it again I'll run strace and report on the bug list. I rolled back to

Re: New ‘guix pull’ /root/.config/current/bin/guix: Permission denied

2018-07-13 Thread Ludovic Courtès
Hi Pjotr, Pjotr Prins skribis: > Fails to build with below > /gnu/store/8ahlc84zaj0iw9jpsdpa9wx4ms0s9cma-guix-daemon-0.15.0-1.4876bc8/libexec/guix/download: > line 8: /root/.config/current/bin/guix: Permission denied Could you figure out why this is the case, perhaps by running attaching “str

Re: New ‘guix pull’ /root/.config/current/bin/guix: Permission denied

2018-07-13 Thread Pjotr Prins
On Fri, Jul 13, 2018 at 11:48:01AM +0200, Pjotr Prins wrote: > grep 8ahlc84zaj0iw9jpsdpa9wx4ms0s9cma -R ~/.config/guix/ > Binary file /home/pjotr/.config/guix/current/bin/guix-daemon matches > Binary file /home/pjotr/.config/guix/current-2-link/bin/guix-daemon matches > Binary file /home/pjotr/.con

Re: New ‘guix pull’ /root/.config/current/bin/guix: Permission denied

2018-07-13 Thread Pjotr Prins
grep 8ahlc84zaj0iw9jpsdpa9wx4ms0s9cma -R ~/.config/guix/ Binary file /home/pjotr/.config/guix/current/bin/guix-daemon matches Binary file /home/pjotr/.config/guix/current-2-link/bin/guix-daemon matches Binary file /home/pjotr/.config/guix/current-3-link/bin/guix-daemon matches grep 8ahlc84zaj0iw9j

Re: New ‘guix pull’ /root/.config/current/bin/guix: Permission denied

2018-07-13 Thread Pjotr Prins
On Fri, Jul 13, 2018 at 10:39:02AM +0200, Pjotr Prins wrote: > This is a blocker since I can't build from source either. > /root/.config/current/bin/guix exists and gives > > guix (GNU Guix) ecba50bb79a49b317c4b1e718f4732b36438227f > > Apparently the user client need to access /root. What t

Re: New ‘guix pull’

2018-07-13 Thread Pjotr Prins
On Thu, Jul 12, 2018 at 06:44:56PM +0200, Pjotr Prins wrote: > On Thu, Jul 12, 2018 at 04:29:02PM +0200, Ricardo Wurmus wrote: > > > > Pjotr Prins writes: > > > > > On Thu, Jul 12, 2018 at 04:17:32PM +0200, Ricardo Wurmus wrote: > > >> “guix pull” updates its own profile only. It updates > > >>

Re: New ‘guix pull’ /root/.config/current/bin/guix: Permission denied

2018-07-13 Thread Pjotr Prins
There are still some rough edges and I am stuck again. Running daemon: /root/.config/current/bin/guix-daemon --build-users-group=guixbuild --version guix-daemon (GNU Guix) 0.15.0-1.4876bc8 Running client as normal user ~/.config/guix/current/bin/guix --version guix (GNU Guix) ecba50bb79a

Re: New ‘guix pull’

2018-07-12 Thread Brett Gilio
Ludovico, I think it is a good idea to add roll-back to the guix pull with a flag of some sort. However, I would be wary of people unintentionally rolling-back packages for not understanding the usecase of such a feature. However, I suppose that we can not "idiot-proof" everything because t

Re: New ‘guix pull’

2018-07-12 Thread Pjotr Prins
On Thu, Jul 12, 2018 at 04:29:02PM +0200, Ricardo Wurmus wrote: > > Pjotr Prins writes: > > > On Thu, Jul 12, 2018 at 04:17:32PM +0200, Ricardo Wurmus wrote: > >> “guix pull” updates its own profile only. It updates > >> ~/.config/guix/current, so you need to use Guix from > >> ~/.config/guix/c

Re: New ‘guix pull’

2018-07-12 Thread Ludovic Courtès
Hi Chris, Thanks for your feedback (and apologies for the hiccups!). Chris Marusich skribis: > Thank you for your hard work on this improvement! One of the reasons I > have always been a little scared to run "guix pull" frequently is > because it was difficult to roll back. Now that the user-

Re: New ‘guix pull’

2018-07-12 Thread Ricardo Wurmus
Pjotr Prins writes: > On Thu, Jul 12, 2018 at 04:17:32PM +0200, Ricardo Wurmus wrote: >> “guix pull” updates its own profile only. It updates >> ~/.config/guix/current, so you need to use Guix from >> ~/.config/guix/current/bin. > > And it says so after guix pull. It is easy to forget however.

Re: New ‘guix pull’

2018-07-12 Thread Pjotr Prins
On Thu, Jul 12, 2018 at 04:17:32PM +0200, Ricardo Wurmus wrote: > “guix pull” updates its own profile only. It updates > ~/.config/guix/current, so you need to use Guix from > ~/.config/guix/current/bin. And it says so after guix pull. It is easy to forget however. Why don't we (also) add it to

Re: New ‘guix pull’

2018-07-12 Thread Ricardo Wurmus
Pjotr Prins writes: > On Thu, Jul 12, 2018 at 02:35:13AM -0700, Chris Marusich wrote: >> l...@gnu.org (Ludovic Courtès) writes: >> >> > I have just pushed a new ‘guix pull’. >> > >> > Feedback welcome! >> >> The biggest hiccup for me w

Re: New ‘guix pull’ - guile-sqlite3 problem

2018-07-12 Thread Pjotr Prins
After adding the paths it is fine. So environment is not picking them up. On Thu, Jul 12, 2018 at 02:35:29PM +0200, Pjotr Prins wrote: > So I updated guix pull multiple times :) and both daemon and client > are at > > guix (GNU Guix) ecba50bb79a49b317c4b1e718f4732b36438227f > > Now I am creati

Re: New ‘guix pull’ - guile-sqlite3 problem

2018-07-12 Thread Pjotr Prins
So I updated guix pull multiple times :) and both daemon and client are at guix (GNU Guix) ecba50bb79a49b317c4b1e718f4732b36438227f Now I am creating an environment to build the source tree with env -i /bin/bash --login --noprofile --norc guix environment guix --ad-hoc help2man git strace

Re: New ‘guix pull’

2018-07-12 Thread Pjotr Prins
On Thu, Jul 12, 2018 at 01:04:38PM +0200, Pjotr Prins wrote: > On Thu, Jul 12, 2018 at 02:35:13AM -0700, Chris Marusich wrote: > > l...@gnu.org (Ludovic Courtès) writes: > > > > > I have just pushed a new ‘guix pull’. > > > > > > Feedback welcome! >

Re: New ‘guix pull’

2018-07-12 Thread Pjotr Prins
On Thu, Jul 12, 2018 at 02:35:13AM -0700, Chris Marusich wrote: > l...@gnu.org (Ludovic Courtès) writes: > > > I have just pushed a new ‘guix pull’. > > > > Feedback welcome! > > The biggest hiccup for me was that I didn't realize at first that I had > to

Re: New ‘guix pull’

2018-07-12 Thread Chris Marusich
l...@gnu.org (Ludovic Courtès) writes: > I have just pushed a new ‘guix pull’. > > Feedback welcome! The biggest hiccup for me was that I didn't realize at first that I had to run "guix pull" twice to upgrade from the old style "guix pull". Anyway, after

Re: New ‘guix pull’

2018-07-08 Thread Pjotr Prins
On Sat, Jun 09, 2018 at 12:16:33PM +0200, Ludovic Courtès wrote: > For those who haven’t been following along on > <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22629#35>, I have just > pushed a new ‘guix pull’. I did my first pull in ages (pull was more like pulling teeth before

Re: New ‘guix pull’ dosen’t update the guix manual in GuixSD

2018-06-12 Thread Ludovic Courtès
iyzs...@member.fsf.org (宋文武) skribis: > l...@gnu.org (Ludovic Courtès) writes: [...] >> -for profile in \"$HOME/.config/guix/current\" \"$HOME/.guix-profile\" >> +for profile in \"$HOME/.guix-profile\" \"$HOME/.config/guix/current\" >> do >>if [ -f \"$profile/etc/profile\" ] >>then >> @

Re: New ‘guix pull’ dosen’t update the guix manual in GuixSD

2018-06-11 Thread 宋文武
l...@gnu.org (Ludovic Courtès) writes: >> The last there are from the ‘export’ statement of ‘/etc/profile’, the >> first two are added by ‘source’ the profiles. Since there is a guix in >> the system profile contains the old info manual, the current one won’t >> be picked. > > Ooh! I think the c

Re: New ‘guix pull’ dosen’t update the guix manual in GuixSD

2018-06-10 Thread Ludovic Courtès
Hello 宋文武! iyzs...@member.fsf.org (宋文武) skribis: > After run ‘guix pull’ twice, I have got ‘~/.config/guix/current’, then > use it to do a system reconfigure for ‘/etc/profile’. > > But the guix manual doesn’t got updated, my ‘INFOPATH’ contains: > > - /home/iyzsong/.guix-profile/share/info > - /

New ‘guix pull’ dosen’t update the guix manual in GuixSD

2018-06-09 Thread 宋文武
l...@gnu.org (Ludovic Courtès) writes: > Hello Guix! > > For those who haven’t been following along on > <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22629#35>, I have just > pushed a new ‘guix pull’. > > To summarize, ~/.config/guix/latest no longer exists. Instead

New ‘guix pull’

2018-06-09 Thread Ludovic Courtès
Hello Guix! For those who haven’t been following along on <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22629#35>, I have just pushed a new ‘guix pull’. To summarize, ~/.config/guix/latest no longer exists. Instead ~/.config/guix/current is populated with a complete Guix (without ‘guix-