Re: Etymology of derivation

2020-11-03 Thread Arun Isaac
> For instance, you might ask “how do you derive the formula for the area > of a circle?”. If you flip the question around, you could ask “what is > the derivation of the formula for the area of a circle?”. Here’s an > example titled “Area of a circle - derivation” [1]. I also see people > on p

A public Lisp programming interface provide feature like `guix environment --container`

2020-11-03 Thread Leo Prikler
Hello, Am Mittwoch, den 04.11.2020, 11:49 +0800 schrieb Zhu Zihao > "guix environment --container" is a very useful feature for me to > isolate the untrusted software. But sadly it lacks a interface for > user > to use it in Lisp programming. > > In (guix scripts environment), only `guix-environm

A public Lisp programming interface provide feature like `guix environment --container`

2020-11-03 Thread Zhu Zihao
"guix environment --container" is a very useful feature for me to isolate the untrusted software. But sadly it lacks a interface for user to use it in Lisp programming. In (guix scripts environment), only `guix-environment` is exported. but it process unix style command line option. I'm wonderin

Re: bug#44053: ‘xdg-mime-database’ profile hook is slow

2020-11-03 Thread zimoun
Hi, > > https://git.savannah.gnu.org/cgit/guix.git/commit/?id=76ea70bd70aeb76570445c11cea2f98139192b54 Clever workaround! What are now the performances on previous examples (same profiles and same packages)? > Unfortunately, AIUI, > > update-mime-database(X ∪ Y) ≠ update-mime-database(X)

Re: GNOME in Guix

2020-11-03 Thread Leo Prikler
Hi Danny, Am Dienstag, den 03.11.2020, 20:26 +0100 schrieb Danny Milosavljevic: > Hi Leo, > > On Tue, 03 Nov 2020 14:41:31 +0100 > Leo Prikler wrote: > > > > (note: "-l guix.scm") > > > > > > seems to have fixed most of the problems. > > > (There is no automated diagnostic--so who knows whet

Re: Removing/replacing “Guix in action” video from the home page?

2020-11-03 Thread zimoun
Dear, Thank you for working on this. On Sun, 01 Nov 2020 at 00:50, jbra...@dismail.de wrote: > October 31, 2020 5:56 PM, "Ludovic Courtès" wrote: >>> I've got a two minute video now. How's this one? >>> >>> https://video.hardlimit.com/videos/watch/5d2cd193-4734-44c4-9455-1778e084a130 >> >> Tha

Re: Linux-Libre-LTS

2020-11-03 Thread Tobias Geerinckx-Rice
Hi Raghav, Raghav Gururajan 写道: Where? It's neither here[0] nor there[1]. I found it on blogs. The name isn't that important; just don't change it for fun, and ‘longterm’ is what I'm used to hearing upstream. Here, https://jxself.org/linux-libre/ That's the blog I was talking about. Kin

Re: RFC: subcommand to pause/resume builds

2020-11-03 Thread John Soo
After even further investigation, Does guix processes output the desired rec format? It seems hard to select the child process pid: ChildProcess: 16923: guile --no-auto-compile -L /gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import /gnu/store/mh1fkn1d9c9mg6hihxvjngxmn3qjmp38-ungoogled-chr

Re: Linux-Libre-LTS

2020-11-03 Thread Raghav Gururajan
Hey Tobias! Where?  It's neither here[0] nor there[1].  I found it on blogs. The name isn't that important; just don't change it for fun, and ‘longterm’ is what I'm used to hearing upstream. Here, https://jxself.org/linux-libre/ There is a table at the bottom of the page. The same naming co

Re: GNOME in Guix

2020-11-03 Thread Danny Milosavljevic
Hi Leo, On Tue, 03 Nov 2020 14:41:31 +0100 Leo Prikler wrote: > > (note: "-l guix.scm") > > > > seems to have fixed most of the problems. > > (There is no automated diagnostic--so who knows whether it did fix > > them for real?) > What diagnostic would you want here? Whether there exist pa

Re: Speeding up guix?

2020-11-03 Thread zimoun
Hi, On Tue, 3 Nov 2020 at 18:39, Leo Famulari wrote: > > On Tue, Nov 03, 2020 at 05:51:49PM +0100, yarnton--- via Development of GNU > Guix and the GNU System distribution. wrote: > > > https://issues.guix.gnu.org/39728 > > > > > Can I help testing this patch? More all the Leo's word, the daem

Re: RFC: subcommand to pause/resume builds

2020-11-03 Thread John Soo
After further review, I realize that guix processes already formats for recutils. I never think to reach for that tool, but it seems good.

Re: Speeding up guix?

2020-11-03 Thread Leo Famulari
On Tue, Nov 03, 2020 at 05:51:49PM +0100, yarnton--- via Development of GNU Guix and the GNU System distribution. wrote: > > https://issues.guix.gnu.org/39728 > > > Can I help testing this patch? Yes, the steps required for this are outlined in the manual chapter Contributing — specifically the

Re: Speeding up guix?

2020-11-03 Thread Leo Famulari
On Tue, Nov 03, 2020 at 01:59:56AM +0100, yarnton--- via Development of GNU Guix and the GNU System distribution. wrote: > A slightly annoying aspect of Guix that IMHO should be improved is download > speed. I haven't inspected any code, but it seems to me that Guix is > reopening a connection f

Re: Speeding up guix?

2020-11-03 Thread Development of GNU Guix and the GNU System distribution.
> https://issues.guix.gnu.org/39728 > > I contemplated another way to improve on download speeds, by spawning a > single ‘guix substitute’ process and thus potentially reusing > connections, but it’s trickier than it seems. > Can I help testing this patch? > PS to yarnton: Note that Nix would a

Re: Porting Guix to RISCV

2020-11-03 Thread Tobias Platen
On Tue, 3 Nov 2020 11:06:20 +0100 Matias Jose Seco Baccanelli wrote: > are efforts ongoing to integrate Power architecture in Guix, you > can find the latest additions on the "wip-ppc" branch[1]. > > There's actually a blocking issue related to reproducibility[2]. > > You're welcome for any hi

Re: RFC: subcommand to pause/resume builds

2020-11-03 Thread Tobias Geerinckx-Rice
After playing around with the daemon I agree that it plays a little too loose with processes to make this upstream material ATM (groups? shepherd? *shrug*). To close: Tobias Geerinckx-Rice 写道: However, this is FUD: Last, you’d need to send SIGTSTP to the whole process group of the build, l

Re: RFC: subcommand to pause/resume builds

2020-11-03 Thread John Soo
Hello Tobias :), Tobias Geerinckx-Rice writes: > Ludo', > > Ludovic Courtès 写道: >> First, note that the daemon is unaware of “packages”, it only knows >> about “derivations”. > > Derivations have a (file) name, which can be matched with a regex > allowing one to, say, ‘pause libreoffice’. It wo

Re: RFC: subcommand to pause/resume builds

2020-11-03 Thread Tobias Geerinckx-Rice
Ludo', Ludovic Courtès 写道: First, note that the daemon is unaware of “packages”, it only knows about “derivations”. Derivations have a (file) name, which can be matched with a regex allowing one to, say, ‘pause libreoffice’. It works in practice. I do this often & it's *extremely* convenie

Re: RFC: subcommand to pause/resume builds

2020-11-03 Thread John Soo
Hello! I want to preface all this by saying this is not a huge priority to me. pause/resume would just be a nice quality of life improvement. Ludovic Courtès writes: > First, note that the daemon is unaware of “packages”, it only knows > about “derivations”. Agreed. I was thinking mostly about

Re: Etymology of derivation

2020-11-03 Thread Timothy Sample
Hello, Ludovic Courtès writes: > Arun Isaac skribis: > >> The original Nix publication was helpful. On page 22 of the full thesis, >> it says: >> >> Derivation is Nix-speak for a component build action, which derives >> the component from its inputs. > > Not sure if it helps, but I struggled a

Re: Etymology of derivation

2020-11-03 Thread Arun Isaac
> Lower-level APIs are available to interact with the daemon and the > store. To instruct the daemon to perform a build action, users > actually provide it with a “derivation”. A derivation is a low-level > representation of the build actions to be taken, and the environment > in which they shou

Re: Speeding up guix?

2020-11-03 Thread Ludovic Courtès
Hi, Pierre Neidhardt skribis: > There has been discussion about this in the past: > > https://lists.gnu.org/archive/html/guix-devel/2019-10/msg00694.html > > Browse the thread, pipelining and reuse of connections are discussed. > > Julien did work on a patch regarding downloads (if I recall corr

Re: RFC: subcommand to pause/resume builds

2020-11-03 Thread Ludovic Courtès
Hi, John Soo skribis: > I was looking to pause a long build today and asked on IRC how to > accomplish pause/resume. It seems this is possible already with the > following: > > kill --signal SIGSTOP|SIGCONT {pids-of-build-process-tree} > > There is already a command to list the processes associ

Re: Branching for v1.2?

2020-11-03 Thread pelzflorian (Florian Pelz)
On Tue, Nov 03, 2020 at 01:51:18PM +0100, Tobias Geerinckx-Rice wrote: > Thanks for your work on the German translation! Could you incorporate this > fix[0] back into the TP version? […] > [0]: > http://git.savannah.gnu.org/cgit/guix.git/commit/?id=1aced9aa0c32849939d1facfaa0f3e5f1a6c11e0 > wenn

Re: Etymology of derivation

2020-11-03 Thread Ludovic Courtès
Hi, Arun Isaac skribis: > The original Nix publication was helpful. On page 22 of the full thesis, > it says: > > Derivation is Nix-speak for a component build action, which derives > the component from its inputs. Not sure if it helps, but I struggled a bit with the etymology of the word as we

Re: GNOME in Guix

2020-11-03 Thread Leo Prikler
Hi Danny, Am Dienstag, den 03.11.2020, 10:14 +0100 schrieb Danny Milosavljevic: > I've now gotten guile-gi to work okay for me, too. That is great to hear. > For me, there were many reasons why it didn't work before--some of > them follow: > > (1) I originally built guile-gi from source using >

Re: Use development sources more

2020-11-03 Thread Ludovic Courtès
Hi Morgan, Morgan Smith skribis: > I like to work on Emacs and Emacs packages in my spare time. The Guix > package transformations are gold for this. My workflow is the clone the > source repo, make some changes and commit them, and then use the > --with-git-url package transformation to build a

New German PO file for 'guix-manual' (version 1.2.0-pre2)

2020-11-03 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix-manual' has been submitted by the German team of translators. The file is available at: https://translationproject.org/latest/guix-manual/de.po (We can arrange things

Reminder: online Guix Day Conference

2020-11-03 Thread Julien Lepiller
Hello guixers! The first online Guix Day Conference on Sunday November, 22nd. This conference is open to everyone and will be held entirely online. No registration fee. We have received only a few proposals. Do not be shy! Please drop us an email with your ideas: what you would like to talk a

Re: Gtk via the web

2020-11-03 Thread Ludovic Courtès
Hi, Danny Milosavljevic skribis: > You can use Gtk applications in the web using Broadway. That's why I enabled > Broadway in our gtk+ package a long time ago. > > Try it: > > broadwayd :1 & > GDK_BACKEND=broadway BROADWAY_DISPLAY=:1 gedit & > icecat http://localhost:8081/ > > (broadwayd is in

Re: Branching for v1.2?

2020-11-03 Thread Tobias Geerinckx-Rice
Florian, Thanks for your work on the German translation! Could you incorporate this fix[0] back into the TP version? Kind regards, T G-R [0]: http://git.savannah.gnu.org/cgit/guix.git/commit/?id=1aced9aa0c32849939d1facfaa0f3e5f1a6c11e0 signature.asc Description: PGP signature

Re: Speeding up guix?

2020-11-03 Thread Pierre Neidhardt
Hi! There has been discussion about this in the past: https://lists.gnu.org/archive/html/guix-devel/2019-10/msg00694.html Browse the thread, pipelining and reuse of connections are discussed. Julien did work on a patch regarding downloads (if I recall correctly it was to enable parallel downloa

Re: Porting Guix to RISCV

2020-11-03 Thread Matias Jose Seco Baccanelli
Il 01/11/20 18:19, Tobias Platen ha scritto: The libre-soc also supports riscv userspace, but its primary architectrue is the POWER ISA. Therefore I propose to port guix to the POWER architecture too. Tobias Hello! Libre-Soc it's a really interesting initiative, kudos! There are efforts ong

Speeding up guix?

2020-11-03 Thread Development of GNU Guix and the GNU System distribution.
Hi all, I'm periodically testdriving GuixSD with the intention to migrate several workstations and servers in my organization. It's very exciting to see Guix is quickly catching up with Nix and NixOS despite being much younger. A slightly annoying aspect of Guix that IMHO should be improved is

Re: Linux-Libre-LTS

2020-11-03 Thread Tobias Geerinckx-Rice
Hi Raghav, Raghav Gururajan 写道: Sure! Yeah, making it default was the next thing in my mind. Honestly no idea where I stand on that but I can bring the popcorn. We should use upstream[0] release names, though, not roll our own (+less clear) ones. So ‘-longterm’ instead of ‘-lts’. By up

Re: Gtk via the web

2020-11-03 Thread aviva
On 11/2/20 5:24 AM, Danny Milosavljevic wrote: > You can use Gtk applications in the web using Broadway. That's why I enabled > Broadway in our gtk+ package a long time ago. I haven't seen a reference to Broadway in 30 years

Re: GNOME in Guix

2020-11-03 Thread Danny Milosavljevic
Hi Leo, On Mon, 02 Nov 2020 14:51:42 +0100 Leo Prikler wrote: > As much as I rant about nomad in IRC now and then, it is still a rather > sophisticated program, and as a user I have not yet encountered any > problem similar in effect to what is described here. Thanks. That is good to know!