Re: User shell: state or config?

2019-04-25 Thread Chris Marusich
Tobias Geerinckx-Rice writes: >> All in all, I’m in favor of switching back to the previous behavior: >> considering user shells as system config. That’s a one-line change >> in >> (gnu build accounts). > > +1! +1 from me as well. Allowing the shell to be declaratively defined in the system co

ABI and emacs-guix

2019-04-25 Thread Brett Gilio
Hi all, Was there another ABI change to Guix? The last time this happened emacs-guix began behaving improperly and spitting out unresolvable error messages in the *Messages* buffer. This is happening again, and Ludo fixed it by rebuilding it I think? If this is the case, is there a consistent way

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Danny Milosavljevic
> How deep shall this go ? dd, awk, od, head, find, test, mv, rm, ... Ideally everything. That's why we don't use shell scripts that much: They are annoying to make behave. Compare with C which will link a library and with option "-Wl,-rpath" (which we use everywhere) will embed the absolute pa

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Thomas Schmitt
Hi, i wrote: > > --file-system-type=iso9660[_$variation] Danny Milosavljevic wrote: > I'm not sure yet. We have a lot of special-casing for iso9660 > already. If anything, at that point, we could pass an arbitrary list > of options or something (an "environment" if you will. Hah). How ever

Re: Alternative VPN Clients

2019-04-25 Thread Leo Famulari
On Wed, Apr 24, 2019 at 06:01:49AM +0200, Dexter Morgan wrote: > My friend introduced me to GNU/Linux and installed GuixSD on my laptop. I am > just getting started on Bash. I find that there is absence of VPN clients as > an > alternative to OpenVPN. Can some one please package the following alte

Re: User shell: state or config?

2019-04-25 Thread Tobias Geerinckx-Rice
Ludo', all, mikadoZero wrote: Ludovic Courtès writes: […] However, thinking more about it, I’m not sure if considering shells as state is such a good idea, for several reasons: 1. It’s surprising that ‘guix system reconfigure’ doesn’t actually change the shell, as Tanguy reporte

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Danny Milosavljevic
Hi Thomas, On Thu, 25 Apr 2019 18:22:11 +0200 "Thomas Schmitt" wrote: > Then do if you can make use of those two git commits. > They are the only ones to that file since release 1.5.0. Okay, I've picked them up. > > I'm not sure about amending "guix system disk-image" by options that > > aren'

Re: New VM image

2019-04-25 Thread Leo Famulari
On Thu, Apr 25, 2019 at 06:44:07PM +0200, Ludovic Courtès wrote: > The attached config file can be used to produce a 2.9G QCOW image > (uncompressed) that internally appears to have a 20G file system: A little big but I don't think we can shrink it any more unfortunately. > What do people think?

New VM image

2019-04-25 Thread Ludovic Courtès
Hello Guix! The attached config file can be used to produce a 2.9G QCOW image (uncompressed) that internally appears to have a 20G file system: guix system vm-image --image-size=20G vm-live.tmpl The image logs into Xfce and from there people can spawn a terminal, run ‘guix package -i icecat’,

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Thomas Schmitt
Hi, i worte: > > (My other sport besides ISO 9660 is burning flat round things.) Florian Pelz wrote: > :D Burning is not the problem. ;) We could let xorriso put some read load on it and watch out for error messages. > With the USB flash drive booting was not stuck, it just did not appear > in

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Ludovic Courtès
Hello, "pelzflorian (Florian Pelz)" skribis: > So what’s the plan? > > Wait for another responce from the grub-devel mailing list? > > Package grub-mkrescue-sed.sh and use > --xorriso=/path/to/grub-mkrescue-sed.sh when calling grub-mkrescue? > > Add an option to “guix system disk-image” to selec

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Thomas Schmitt
Hi, Danny Milosavljevic wrote: > you *are* upstream so > it's really up to you whether we should patch xorriso or not. Then do if you can make use of those two git commits. They are the only ones to that file since release 1.5.0. > I'm not sure about amending "guix system disk-image" by options

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread pelzflorian (Florian Pelz)
On Thu, Apr 25, 2019 at 05:09:05PM +0200, Thomas Schmitt wrote: > Hi, > > Florian Pelz wrote: > > I do not know and did not try yet how to configure GRUB to produce > > both 32-bit and 64-bit EFI. > […] > Some digging in the source of grub-mkrescue and util/grub-install-common.c > reveils that it

Re: ‘staging’ and GNOME updates

2019-04-25 Thread Giovanni Biscuolo
Hello Timothy and Ricardo, Timothy Sample writes: [...] > Or, maybe I could pull Epiphany out of our GNOME package, and avoid > WebKitGTK (now that GNOME Shell doesn’t need it). this will not fix any problem but please do it anyway before merging to master :-) thanks for working on this! [..

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Thomas Schmitt
Hi, Florian Pelz wrote: > I do not know and did not try yet how to configure GRUB to produce > both 32-bit and 64-bit EFI. As Debian user i am in the comfortable position to install the three binary packages for BIOS, x86 EFI 32 bit, and x86 EFI 64 bit. Then grub-mkrescue knows what to do. Some

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Danny Milosavljevic
> How comfortable is the Guix patching system ? :)) Very comfortable. But we'd like not to diverge from upstream too much. We are all in this together, so I'd like upstream to eventually converge on a solution. I'm fine with carrying a patch if it's coordinated by people with knowledge about the

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Thomas Schmitt
Hi, Florian Pelz wrote: > So what’s the plan? > Wait for another responce from the grub-devel mailing list? They need time to to make up their mind. Maybe other incidents are needed to push towards some change in grub-mkrescue. We have a halfways positive response from the old owner and a somewha

Re: ‘staging’ and GNOME updates

2019-04-25 Thread Ricardo Wurmus
Timothy Sample writes: > Ricardo Wurmus writes: > >>> After running GNOME 3.28 for a while, I’ve had several crashes. It used >>> to crash whenever I opened a URL from Emacs, but fiddling with dconf has >>> fixed that. It currently crashes every time I run ERC (I’ve turned on >>> notificatio

Re: User shell: state or config?

2019-04-25 Thread mikadoZero
Ludovic Courtès writes: > Hello Guix! > > We recently discussed handling of the ‘shell’ field of ‘user-account’: > > https://lists.gnu.org/archive/html/help-guix/2019-04/msg00171.html > > As I wrote there, starting with the switch to (gnu build accounts) in > 0ae735bcc8ff7fdc89d67b492bdee9091ee1

Re: bug#35417: Tor Service

2019-04-25 Thread ng0
Julien Lepiller transcribed 565 bytes: > Le 24 avril 2019 18:34:22 GMT+02:00, Raghav Gururajan a > écrit : > >Hello Guix! > > > >Including "tor-service-type" does not invoke and add "tor" package into > >the system. Without "tor" package, tor commands cannot be used. > >Therefore, "tor-service-ty

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread pelzflorian (Florian Pelz)
On Wed, Apr 24, 2019 at 11:13:23AM +0200, pelzflorian (Florian Pelz) wrote: > On Wed, Apr 24, 2019 at 08:56:57AM +0200, Thomas Schmitt wrote: > > Florian Pelz wrote > > > By the way, someone I know has a most peculiar machine called Lenovo > > > Ideapad 100S which does not boot Guix, […] > > > > I

New Spanish PO file for 'guix' (version 1.0.0-pre2)

2019-04-25 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix' has been submitted by the Spanish team of translators. The file is available at: https://translationproject.org/latest/guix/es.po (We can arrange things so that in th

New Spanish PO file for 'guix' (version 1.0.0-pre2)

2019-04-25 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix' has been submitted by the Spanish team of translators. The file is available at: https://translationproject.org/latest/guix/es.po (We can arrange things so that in th

User shell: state or config?

2019-04-25 Thread Ludovic Courtès
Hello Guix! We recently discussed handling of the ‘shell’ field of ‘user-account’: https://lists.gnu.org/archive/html/help-guix/2019-04/msg00171.html As I wrote there, starting with the switch to (gnu build accounts) in 0ae735bcc8ff7fdc89d67b492bdee9091ee19e86, user shells are considered “stat

Re: [PATCH 1/2] bootstrap: Break automake dependency on generated files. (was Re: Let’s translate!)

2019-04-25 Thread Julien Lepiller
Le 25 avril 2019 10:50:16 GMT+02:00, "Ludovic Courtès" a écrit : >Hello, > >Julien Lepiller skribis: > >> Le Wed, 24 Apr 2019 00:51:37 +0200, >> Miguel a écrit : > >[...] > >>> El Tue, 23 Apr 2019 16:30:26 +0200 >>> Ludovic Courtès escribió: > >>> > Also, I don’t actually use the ./bootstrap sc

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread pelzflorian (Florian Pelz)
So what’s the plan? Wait for another responce from the grub-devel mailing list? Package grub-mkrescue-sed.sh and use --xorriso=/path/to/grub-mkrescue-sed.sh when calling grub-mkrescue? Add an option to “guix system disk-image” to select which grub-mkrescue-sed.sh environment variables to enable?

Re: [PATCH 1/2] bootstrap: Break automake dependency on generated files. (was Re: Let’s translate!)

2019-04-25 Thread Ludovic Courtès
Hello, Julien Lepiller skribis: > Le Wed, 24 Apr 2019 00:51:37 +0200, > Miguel a écrit : [...] >> El Tue, 23 Apr 2019 16:30:26 +0200 >> Ludovic Courtès escribió: >> > Also, I don’t actually use the ./bootstrap script. :-) >> >> Currently it is only a call to autoreconf -fvi, but it's th

Re: Translation of the Guix manual & node names

2019-04-25 Thread Ludovic Courtès
"pelzflorian (Florian Pelz)" skribis: > On Wed, Apr 24, 2019 at 09:31:59AM +0200, Julien Lepiller wrote: >> #. type: Plain text >> #: doc/guix.texi:7 >> msgid "@documentencoding UTF-8" >> msgstr "" >> "@documentencoding UTF-8\n" >> "@documentlanguage fr\n" >> "@frenchspacing on" >> > I already u

Re: ISO installer image: GPT versus MBR partitions

2019-04-25 Thread Thomas Schmitt
Hi, Danny Milosavljevic wrte: > If someone is testing this with Guix, make sure to actually try to boot Guix > with it (until the root is mounted). Back in the day I changed the root > discovery of Guix to make it also consider using the entire disk (as opposed > to a partition on it) as a viable