Re: [BLOG] On migration to the Hurd

2020-04-03 Thread Rene
Hello Ludovic, Jan, About the bootstrap ext2fs.static server, it seems that it is also required to create a link in /libexec, attached a patch. and now it shows another error: -- Hurd server bootstrap: ext2fs[device:hd0s1] exec startup proc auth. /libexec/console-run: /dev/console:

Re: Adding a %desktop-packages

2020-04-03 Thread John Soo
Hi there, I am on board with providing some predefined lists of packages. I raised the idea of providing smaller lists of packages that might go well together instead of one large %desktop-packages. One reason to do this, for instance, might be to not make someone who wants to use btrfs always

Re: Linphone

2020-04-03 Thread Raghav Gururajan
Hello Guix! >> At this point for linphoneqt a.k.a linphone-desktop, I am facing following >> issues. >> >> When I build *without* `-DENABLE_DBUS=YES`and run the program, I get: >> >> QSocketNotifier: Socket notifiers cannot be enabled or disabled from another >> thread >> QMutex: destroying

Re: Proxy settings wrt guix daemon

2020-04-03 Thread Vincent Legoll
Hello, thanks for the help, but... On Tue, Mar 31, 2020 at 5:26 PM Ludovic Courtès wrote: > I was proposing a custom action for the Shepherd service, just like the > mcron Shepherd service has a custom ‘schedule’ action that one can > invoke with “herd schedule mcron”. > > Hope that’s clearer!

Re: Adding a %desktop-packages

2020-04-03 Thread Jan
>This is slightly unrelated, but your email reminded me. > >How about we add a %desktop-packages variable? I remember reading a >bug >report about possibly ungoogled-chromium or some package not working >properly, because the user did not install a font. Perhaps if people >are using a %desktop,

Re: Unencrypted boot with encrypted root

2020-04-03 Thread Guillaume Le Vaillant
Ellen Papsch skribis: > Am Freitag, den 03.04.2020, 18:13 +0200 schrieb Pierre Neidhardt: >> >> By the way, is it possible to use the user password to unlock the >> $HOME partition? >> > > AFAIK GNU/Linux userland does not support it. GDM or another login > manager would have to integrate that

Re: Unencrypted boot with encrypted root

2020-04-03 Thread pelzflorian (Florian Pelz)
On Fri, Apr 03, 2020 at 05:44:13PM +0200, Ellen Papsch wrote: > To make it harder, we leave /boot encrypted. Now the attacker plants > their malware further down the stack: they replace the BIOS. Boom, you > are owned! :-) So using a single encrypted partition instead of separate /boot protects

Re: Unencrypted boot with encrypted root

2020-04-03 Thread Ellen Papsch
Am Freitag, den 03.04.2020, 18:13 +0200 schrieb Pierre Neidhardt: > Ellen Papsch writes: > > > leaving /boot unencrypted allows attackers to plant malware > > relatively > > easy. They can mount the partition without ado and replace the > > kernel > > with a malicious one. > > How can you do

Re: Rethinking files as a concept -- review draft paper

2020-04-03 Thread Josh Marshall
Thanks! No matter what spelling and grammar checkers I seem to pass it through, there always seems to be many things missed. I'll fix those up and improve the notation as you suggest. As for the Windows pathing support, I'm not settled on the idea but figured I'd keep it more abstracted. I'm

Re: good practices in science

2020-04-03 Thread Pierre Neidhardt
> It is growing. I can't say about your field or your neigbourhood, but > check out communities such as The Carpentries > (https://carpentries.org/), which is organizing tutorials all around the > globe to teach the tools that you like. I had never heard about this initiative before, this is

Re: good practices in science

2020-04-03 Thread Cook, Malcolm
> I would like to find a community where I can do science in a good way. > I want to use free software and would like to collaborate through > version control, IRC, Jitsi, well formatted e-mails. Does such a > community exist? Look into [Center for Open Science](https://cos.io/) I the R world,

Re: Unencrypted boot with encrypted root

2020-04-03 Thread Ellen Papsch
Hi, Am Donnerstag, den 02.04.2020, 10:59 +0200 schrieb Pierre Neidhardt: > Hi! > > I've followed the doc / template to set up an encrypted system on my > laptop: > > --8<---cut here---start->8--- > (mapped-devices >(list (mapped-device >

Re: Unencrypted boot with encrypted root

2020-04-03 Thread pelzflorian (Florian Pelz)
On Thu, Apr 02, 2020 at 10:59:30AM +0200, Pierre Neidhardt wrote: > I suppose that one way to do this is to make /boot a separate file Yes please, this is also an issue in https://issues.guix.info/issue/40273#24 I believe an unencrypted GRUB file-system would be a better default. Regards,

Re: good practices in science

2020-04-03 Thread Konrad Hinsen
Hi Marco, > Are there any natural scientists here? I have no idea how numerous we are, but yes, there are. As for myself, I am in computational biophysics. > I am sending this to this list because Guix is an obvious tool for > scientific (and other) computing. None of my collegues anywhere in

Re: Rethinking files as a concept -- review draft paper

2020-04-03 Thread Pierre Neidhardt
Thanks for sharing, nice write up! A few notes below: --8<---cut here---start->8--- Scheme: A group of programming languages which are major branch of the Common LISP dialets. --8<---cut here---end--->8--- Typo: dialects.

Re: good practices in science

2020-04-03 Thread Pjotr Prins
Dear Marco, I don't think this is the place to discuss the ins and outs of science. The scientific community and arena can be frustrating and I would say (i.e., as an opinion) that you should only work in science if the subject itself grabs you. I left the software industry for biology 15 years

Re: [BLOG] On migration to the Hurd

2020-04-03 Thread Tanguy Le Carrour
Le 04/02, Ludovic Courtès a écrit : > Tanguy Le Carrour skribis: > > Le 04/01, Jan Nieuwenhuizen a écrit : > >> We are thrilled to have published a post about migrating to the Hurd: > >> > >> > >> https://guix.gnu.org/blog/2020/deprecating-support-for-the-linux-kernel/ > > […] > > The

good practices in science

2020-04-03 Thread Marco van Hulten
Hi all— Are there any natural scientists here? I'm asking because at least in my field not the right tools are used to do the work; I'd like to exchange ideas on how to approach these issues. I am sending this to this list because Guix is an obvious tool for scientific (and other) computing.

Re: Adding a %desktop-packages

2020-04-03 Thread Joshua Branson
This is slightly unrelated, but your email reminded me. How about we add a %desktop-packages variable? I remember reading a bug report about possibly ungoogled-chromium or some package not working properly, because the user did not install a font. Perhaps if people are using a %desktop, there