bug#25852: Users not updating their installations of Guix

2017-05-12 Thread myglc2
On 05/12/2017 at 10:29 Ludovic Courtès writes: > Ricardo Wurmus skribis: > >> Ludovic Courtès writes: >> >>> myglc2 skribis: >>> How about extending this ... > + (warning (G_ "Your Guix installation is getting old. Consider > +running 'guix pull' followed by '~a' to get

bug#25852: Users not updating their installations of Guix

2017-05-12 Thread Ludovic Courtès
Ricardo Wurmus skribis: > Ludovic Courtès writes: > >> myglc2 skribis: >> >>> How about extending this ... >>> + (warning (G_ "Your Guix installation is getting old. Consider +running 'guix pull' followed by '~a' to get up-to-date +packages and security updates.\n") >>> >>>

bug#25852: Users not updating their installations of Guix

2017-05-11 Thread Ricardo Wurmus
Ludovic Courtès writes: > myglc2 skribis: > >> How about extending this ... >> >>> + (warning (G_ "Your Guix installation is getting old. Consider >>> +running 'guix pull' followed by '~a' to get up-to-date >>> +packages and security updates.\n") >> >> ... to inform the user how old the i

bug#25852: Users not updating their installations of Guix

2017-05-10 Thread Ludovic Courtès
myglc2 skribis: > How about extending this ... > >> + (warning (G_ "Your Guix installation is getting old. Consider >> +running 'guix pull' followed by '~a' to get up-to-date >> +packages and security updates.\n") > > ... to inform the user how old the installation is? Good idea. I did t

bug#25852: Users not updating their installations of Guix

2017-05-10 Thread myglc2
On 05/10/2017 at 15:12 Ludovic Courtès writes: > Hi there, > > Mark H Weaver skribis: > >> l...@gnu.org (Ludovic Courtès) writes: >> >>> Mark H Weaver skribis: >>> We could simply issue a warning if the version of guix currently in use is more than N hours old, on the assumption that a

bug#25852: Users not updating their installations of Guix

2017-05-10 Thread Ludovic Courtès
Hi there, Mark H Weaver skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> Mark H Weaver skribis: >> >>> We could simply issue a warning if the version of guix currently in use >>> is more than N hours old, on the assumption that after N hours it's >>> likely to be stale. The default value

bug#25852: Users not updating their installations of Guix

2017-03-10 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: > Mark H Weaver skribis: > >> We could simply issue a warning if the version of guix currently in use >> is more than N hours old, on the assumption that after N hours it's >> likely to be stale. The default value of N might be in the range 48-96 >> (2-4 da

bug#25852: Users not updating their installations of Guix

2017-03-09 Thread Ludovic Courtès
Tomáš Čech skribis: > On Thu, Mar 09, 2017 at 11:58:12AM +0100, Ludovic Courtès wrote: >>Tomáš Čech skribis: >> >>> On Tue, Mar 07, 2017 at 05:22:15PM -0500, Leo Famulari wrote: On Tue, Mar 07, 2017 at 09:58:48PM +0100, Tomáš Čech wrote: > On Tue, Mar 07, 2017 at 02:51:18PM -0500, Leo Fa

bug#25852: Users not updating their installations of Guix

2017-03-09 Thread Tomáš Čech
On Thu, Mar 09, 2017 at 11:58:12AM +0100, Ludovic Courtès wrote: Tomáš Čech skribis: On Tue, Mar 07, 2017 at 05:22:15PM -0500, Leo Famulari wrote: On Tue, Mar 07, 2017 at 09:58:48PM +0100, Tomáš Čech wrote: On Tue, Mar 07, 2017 at 02:51:18PM -0500, Leo Famulari wrote: > This will take effect

bug#25852: Users not updating their installations of Guix

2017-03-09 Thread Ludovic Courtès
Tomáš Čech skribis: > On Tue, Mar 07, 2017 at 05:22:15PM -0500, Leo Famulari wrote: >>On Tue, Mar 07, 2017 at 09:58:48PM +0100, Tomáš Čech wrote: >>> On Tue, Mar 07, 2017 at 02:51:18PM -0500, Leo Famulari wrote: >>> > This will take effect for the next release of Guix; it addresses a >>> > proble

bug#25852: Users not updating their installations of Guix

2017-03-08 Thread Efraim Flashner
On Wed, Mar 08, 2017 at 01:15:37PM -0500, Leo Famulari wrote: > On Wed, Mar 08, 2017 at 10:24:19AM +0100, Tomáš Čech wrote: > > Thank you for your explanation and your patience. I finally understand > > now what you mean with binary installation and understand how it > > doesn't break it. > > Than

bug#25852: Users not updating their installations of Guix

2017-03-08 Thread Leo Famulari
On Wed, Mar 08, 2017 at 10:24:19AM +0100, Tomáš Čech wrote: > Thank you for your explanation and your patience. I finally understand > now what you mean with binary installation and understand how it > doesn't break it. Thank you for continuing to ask for clarification. It's important that we revi

bug#25852: Users not updating their installations of Guix

2017-03-08 Thread Tomáš Čech
On Wed, Mar 08, 2017 at 03:45:47AM -0500, Leo Famulari wrote: On Wed, Mar 08, 2017 at 07:25:42AM +0100, Tomáš Čech wrote: Unless I'm missing some other commit, this won't work. When I perform these steps: 1] ./configure && make && sudo make install (or package installation) 2] mkdir /gnu/store

bug#25852: Users not updating their installations of Guix

2017-03-08 Thread Leo Famulari
On Wed, Mar 08, 2017 at 07:25:42AM +0100, Tomáš Čech wrote: > Unless I'm missing some other commit, this won't work. > > When I perform these steps: > 1] ./configure && make && sudo make install (or package installation) > 2] mkdir /gnu/store > 3] attempt to start daemon will fail as there is no g

bug#25852: Users not updating their installations of Guix

2017-03-07 Thread Tomáš Čech
On Tue, Mar 07, 2017 at 05:22:15PM -0500, Leo Famulari wrote: On Tue, Mar 07, 2017 at 09:58:48PM +0100, Tomáš Čech wrote: On Tue, Mar 07, 2017 at 02:51:18PM -0500, Leo Famulari wrote: > This will take effect for the next release of Guix; it addresses a > problem that arises when somebody install

bug#25852: Users not updating their installations of Guix

2017-03-07 Thread Leo Famulari
On Tue, Mar 07, 2017 at 09:58:48PM +0100, Tomáš Čech wrote: > On Tue, Mar 07, 2017 at 02:51:18PM -0500, Leo Famulari wrote: > > This will take effect for the next release of Guix; it addresses a > > problem that arises when somebody installs the binary release of Guix. > > > > I'm not addressing d

bug#25852: Users not updating their installations of Guix

2017-03-07 Thread Tomáš Čech
On Tue, Mar 07, 2017 at 02:51:18PM -0500, Leo Famulari wrote: On Tue, Mar 07, 2017 at 07:33:30AM +0100, Tomáš Čech wrote: On Mon, Mar 06, 2017 at 04:34:34PM -0500, Leo Famulari wrote: > On Mon, Mar 06, 2017 at 10:12:21PM +0100, Ludovic Courtès wrote: > > Leo Famulari skribis: > > > > > In my op

bug#25852: Users not updating their installations of Guix

2017-03-07 Thread Leo Famulari
On Tue, Mar 07, 2017 at 07:33:30AM +0100, Tomáš Čech wrote: > On Mon, Mar 06, 2017 at 04:34:34PM -0500, Leo Famulari wrote: > > On Mon, Mar 06, 2017 at 10:12:21PM +0100, Ludovic Courtès wrote: > > > Leo Famulari skribis: > > > > > > > In my opinion, the recent bug #25775 (Can't install packages a

bug#25852: Users not updating their installations of Guix

2017-03-07 Thread Ludovic Courtès
Mark H Weaver skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> Leo Famulari skribis: >> >>> In my opinion, the recent bug #25775 (Can't install packages after guix >>> pull) [0] exposed a sort of meta-bug: there are a significant number of >>> users who were still using the guix-daemon fro

bug#25852: Users not updating their installations of Guix

2017-03-06 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: > Leo Famulari skribis: > >> In my opinion, the recent bug #25775 (Can't install packages after guix >> pull) [0] exposed a sort of meta-bug: there are a significant number of >> users who were still using the guix-daemon from 0.10.0. >> >> It seems unlikely

bug#25852: Users not updating their installations of Guix

2017-03-06 Thread Pjotr Prins
On Mon, Mar 06, 2017 at 03:52:07PM +0100, Ricardo Wurmus wrote: > > Removing the surprise can be […] by […] making `guix pull' able to update > > guix-daemon as well. > > That’s what is planned for “guix pull” anyway IIRC. I suspect this > would be easier if we had a daemon written in Guile. Thi

bug#25852: Users not updating their installations of Guix

2017-03-06 Thread Tomáš Čech
On Mon, Mar 06, 2017 at 04:34:34PM -0500, Leo Famulari wrote: On Mon, Mar 06, 2017 at 10:12:21PM +0100, Ludovic Courtès wrote: Leo Famulari skribis: > In my opinion, the recent bug #25775 (Can't install packages after guix > pull) [0] exposed a sort of meta-bug: there are a significant number

bug#25852: Users not updating their installations of Guix

2017-03-06 Thread Leo Famulari
On Mon, Mar 06, 2017 at 10:12:21PM +0100, Ludovic Courtès wrote: > Leo Famulari skribis: > > > In my opinion, the recent bug #25775 (Can't install packages after guix > > pull) [0] exposed a sort of meta-bug: there are a significant number of > > users who were still using the guix-daemon from 0.

bug#25852: Users not updating their installations of Guix

2017-03-06 Thread Ludovic Courtès
Leo Famulari skribis: > In my opinion, the recent bug #25775 (Can't install packages after guix > pull) [0] exposed a sort of meta-bug: there are a significant number of > users who were still using the guix-daemon from 0.10.0. > > It seems unlikely that they have been updating all of root's > pa

bug#25852: Users not updating their installations of Guix

2017-03-06 Thread Ricardo Wurmus
Tomáš Čech writes: > My expectation is that when `guix pull' is run, it should update whole > guix, not just part (guix - guix-daemon). […] > Removing the surprise can be […] by […] making `guix pull' able to update > guix-daemon as well. That’s what is planned for “guix pull” anyway IIRC. I

bug#25852: Users not updating their installations of Guix

2017-03-05 Thread Tomáš Čech
On Sun, Mar 05, 2017 at 09:25:11AM +, Pjotr Prins wrote: On Sun, Mar 05, 2017 at 08:56:41AM +0100, Tomáš Čech wrote: And IMHO the best and also "Guix way" could be making guix-daemon aware of possible newer versions in /gnu/store and execing them instead... Giving a loud warning should rea

bug#25852: Users not updating their installations of Guix

2017-03-05 Thread Pjotr Prins
On Sun, Mar 05, 2017 at 08:56:41AM +0100, Tomáš Čech wrote: > And IMHO the best and also "Guix way" could be making guix-daemon aware of > possible newer versions in /gnu/store and execing them instead... Giving a loud warning should really be sufficient. The Guix way is to have a system not surpr

bug#25852: Users not updating their installations of Guix

2017-03-04 Thread Tomáš Čech
On Sat, Mar 04, 2017 at 05:43:59PM -0500, Leo Famulari wrote: On Sat, Mar 04, 2017 at 09:29:41PM +0100, Tomáš Čech wrote: On Thu, Feb 23, 2017 at 04:11:56PM -0500, Leo Famulari wrote: > In my opinion, the recent bug #25775 (Can't install packages after guix > pull) [0] exposed a sort of meta-bug

bug#25852: Users not updating their installations of Guix

2017-03-04 Thread Leo Famulari
On Sat, Mar 04, 2017 at 09:29:41PM +0100, Tomáš Čech wrote: > On Thu, Feb 23, 2017 at 04:11:56PM -0500, Leo Famulari wrote: > > In my opinion, the recent bug #25775 (Can't install packages after guix > > pull) [0] exposed a sort of meta-bug: there are a significant number of > > users who were stil

bug#25852: Users not updating their installations of Guix

2017-03-04 Thread Tomáš Čech
On Thu, Feb 23, 2017 at 04:11:56PM -0500, Leo Famulari wrote: In my opinion, the recent bug #25775 (Can't install packages after guix pull) [0] exposed a sort of meta-bug: there are a significant number of users who were still using the guix-daemon from 0.10.0. It seems unlikely that they have b

bug#25852: Users not updating their installations of Guix

2017-03-02 Thread sirgazil
Yes, I agree with both of you. I'd like to see a section in the documentation, referenced from the installation instructions, with prescriptions about keeping Guix(SD) up to date. Say "Keeping a Guix(SD) system up to date". It could have, for example, what to do as a root user, what to do as a

bug#25852: Users not updating their installations of Guix

2017-02-23 Thread Pjotr Prins
We can make package 'daemon' aware if we provide the meta data in channels, see 22...@debbugs.gnu.org. guix package could also suggest upgrading with even numbers. Say running 0.12 guix on 0.10 guix-daemon.

bug#25852: Users not updating their installations of Guix

2017-02-23 Thread Leo Famulari
In my opinion, the recent bug #25775 (Can't install packages after guix pull) [0] exposed a sort of meta-bug: there are a significant number of users who were still using the guix-daemon from 0.10.0. It seems unlikely that they have been updating all of root's packages except for the guix package.