bug#25254: [minor] 'About' page says GuixSD is a "GNU/Linux distribution"

2016-12-25 Thread Ricardo Wurmus
Taylan UlrichBayırlı/Kammer writes: > It would be better to be consistent with the home page and make clear > that GuixSD is a GNU distribution, with Linux-libre being the default > kernel for the foreseeable future. > > Background: Wikipedia has a policy to call GNU/Linux distributions > "Linux

bug#25254: [minor] 'About' page says GuixSD is a "GNU/Linux

2016-12-25 Thread Luis Felipe López Acevedo
I agree with Tylan. Instead of the current patch, however, I'd change the whole paragraph to something like this (a combination with the current first paragraph on Wikipedia): GuixSD (Guix System Distribution) is a distribution of the [GNU operating system][link] centered on the GNU Guix pac

bug#25254: [minor] 'About' page says GuixSD is a "GNU/Linux

2016-12-25 Thread David Craven
> To David, the Guix developers had the intention to call the system just GNU, > and distribute it as GNU (Guix is a GNU project after all), but RMS didn't > agree, so it was decided to use the GuixSD name and call it "A distribution > of GNU", and not "THE distribution of GNU." [1] First I apprec

bug#25254: [minor] 'About' page says GuixSD is a "GNU/Linux distribution"

2016-12-25 Thread Taylan Ulrich Bayırlı/Kammer
David Craven writes: > Please change to the GNU distribution. Or alternatively if you are > going to say a GNU distribution provide a link to or an explanation of > what it means. I wanted to avoid a larger discussion, but OK, I haven't ever written a comprehensive answer to such a question, so

bug#25254: [minor] 'About' page says GuixSD is a "GNU/Linux

2016-12-25 Thread Taylan Ulrich Bayırlı/Kammer
Luis Felipe López Acevedo writes: > Instead of the current patch, however, I'd change the whole paragraph > to something like this (a combination with the current first paragraph > on Wikipedia): > > GuixSD (Guix System Distribution) is a distribution of the [GNU > operating system][link] centere

bug#25254: [minor] 'About' page says GuixSD is a "GNU/Linux distribution"

2016-12-25 Thread Leo Famulari
On Sun, Dec 25, 2016 at 12:51:14AM +0100, David Craven wrote: > Please change to the GNU distribution. Or alternatively if you are > going to say a GNU distribution provide a link to or an explanation of > what it means. Calling it a GNU distribution implies that there are > more than one, please p

bug#25273: [n...@libertad.pw: 'mc' package needs some fixes]

2016-12-25 Thread Leo Famulari
- Forwarded message from ng0 - Date: Wed, 21 Dec 2016 21:40:31 + From: ng0 To: guix-de...@gnu.org Subject: 'mc' package needs some fixes Is someone interested in fixing our `mc' package? It is functional, but some parts of it are not functional for Guix. Grep for "/bin/" in the dire