Re: Reproductibility, Data Services, guix weather

2020-10-16 Thread Ludovic Courtès
Hi! zimoun skribis: > (define %prefix-url > "https://data.guix-patches.cbaines.net/revision";) > > (define %suffix-url > "output_consistency=not-matching&target=none&all_results=on") > > (define %json-name "package-derivation-outputs.json") > > > (define* (json-url revision > #

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

2020-10-16 Thread Ludovic Courtès
Hi, Joshua Branson skribis: > Well, I've created a basic guix package management video. It's about 7 > minutes long. You'll notice I made it a little goofy. Essentially > building the XDG mime database takes a while. So I just read from > Stallman's essays during the downtime. > > If someone

Re: File search progress: database review and question on triggers

2020-10-16 Thread Ludovic Courtès
Pierre Neidhardt skribis: > Ludovic Courtès writes: > >>> Question: How do I hook onto =guix build=? >> >> You would need a build-completion hook in the daemon, which doesn’t >> exist (yet!). Note also that at this level we only see derivations, not >> packages. > > Hmm... Can you explain me ho

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

2020-10-16 Thread zimoun
Hi, On Fri, 16 Oct 2020 at 12:28, Ludovic Courtès wrote: > > https://video.hardlimit.com/videos/watch/c0dfb36a-a84b-4363-8b1b-17aeadd4aaaf > > Thanks! I think 7 minutes is too long; IMO we should aim for ~1mn–1.5mn > at most as is currently the case. Also full screen, large enough fonts, > no

Using #true and #false everywhere?

2020-10-16 Thread Ludovic Courtès
Hello Guix! As discussed on IRC recently, several of us think that using “#true” and “#false” instead of “#t” and “#f” throughout or documentation and code would probably make it easier for newcomers to decipher that. WDYT? This syntax is supported since Guile 2.0. ‘write’ still uses the abbrev

Re: Using #true and #false everywhere?

2020-10-16 Thread Maxim Cournoyer
Hello Ludovic, Ludovic Courtès writes: > Hello Guix! > > As discussed on IRC recently, several of us think that using “#true” and > “#false” instead of “#t” and “#f” throughout or documentation and code > would probably make it easier for newcomers to decipher that. > > WDYT? > > This syntax is

Re: Using #true and #false everywhere?

2020-10-16 Thread Tobias Geerinckx-Rice
Maxim, Maxim Cournoyer 写道: I'd only agree to such a change if it's already been standardized in the RnRS as such Sure, I think that's implied. #true and #false are part of the R7RS-small standard. I don't know what Guile ‘is’, but it supports that part of the standard. I don't think it

Re: Diverse Double-Compiling, --with-c-toolchain and trusting trust

2020-10-16 Thread Ludovic Courtès
Hi! Nice challenge! :-) zimoun skribis: > Well, the idea is to implement the procedure with Guix: step #1, > > guix build tcc --with-c-toolchain=tcc=clang-toolchain > > but then I do not know how to use the output to complete the step #2. > Is it possible to do it at the CLI level? Or do I h

Manual PDF and translation (modular texlive?)

2020-10-16 Thread zimoun
Dear, Currently it is not easy to produce the PDF of the manual. For reference, see [1]. There are 2 issues: a) the ’texlive’ package. b) the fonts about Russian or Chinese. About the a), it is really painful to download the *big* texlive package to be able to compile TeX. Especially when w

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

2020-10-16 Thread Luis Felipe
‐‐‐ Original Message ‐‐‐ On Friday, October 16, 2020 10:36 AM, zimoun wrote: > Hi, > > On Fri, 16 Oct 2020 at 12:28, Ludovic Courtès l...@gnu.org wrote: > > > > https://video.hardlimit.com/videos/watch/c0dfb36a-a84b-4363-8b1b-17aeadd4aaaf > > > > Thanks! I think 7 minutes is too long; IMO

Re: Using #true and #false everywhere?

2020-10-16 Thread Vagrant Cascadian
On 2020-10-16, Ludovic Courtès wrote: > As discussed on IRC recently, several of us think that using “#true” and > “#false” instead of “#t” and “#f” throughout or documentation and code > would probably make it easier for newcomers to decipher that. > > WDYT? I would very much welcome this as some

Re: Manual PDF and translation (modular texlive?)

2020-10-16 Thread Ricardo Wurmus
zimoun writes: > Currently it is not easy to produce the PDF of the manual. For > reference, see [1]. There are 2 issues: > > a) the ’texlive’ package. > b) the fonts about Russian or Chinese. > > About the a), it is really painful to download the *big* texlive package > to be able to compi

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

2020-10-16 Thread jbranso
Ahh. Thanks for reminding me! I forgot about those "guix pull warnings". I have a local guix channel. I can disable that for the video. I will also add --max=jobs=1 to the daemon side for the video. I do agree with you that the video is too long, because the XDG mime step takes some time t

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

2020-10-16 Thread jbranso
I do share Luis' sentiments that perhaps the video should mention that the install commands may take some time to complete, but in the interest of brevity, we can always cut those bits out of the video. Do you know what that means!? I get to learn video editing! SILLY SALTY SALAMANDERS THAT'S

Re: Manual PDF and translation (modular texlive?)

2020-10-16 Thread Ricardo Wurmus
Ricardo Wurmus writes: > zimoun writes: > >> Currently it is not easy to produce the PDF of the manual. For >> reference, see [1]. There are 2 issues: >> >> a) the ’texlive’ package. >> b) the fonts about Russian or Chinese. >> >> About the a), it is really painful to download the *big* te

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

2020-10-16 Thread Luis Felipe
‐‐‐ Original Message ‐‐‐ On Friday, October 16, 2020 8:00 PM, wrote: > I do share Luis' sentiments that perhaps the video should mention that the > install commands may take some time to complete, but in the interest of > brevity, > we can always cut those bits out of the video. > > Do y

Re: Using #true and #false everywhere?

2020-10-16 Thread Miguel Ángel Arruga Vivas
I didn't send this to the list... I must start using S L always instead of R and changing the headers manually, sorry. :o) --- Hi Ludo, Ludovic Courtès writes: > Hello Guix! > > As discussed on IRC recently, several of us think that using “#true” and > “#false” instead of “#t” and “#f” througho

Re: Using #true and #false everywhere?

2020-10-16 Thread Danny Milosavljevic
Hi Ludo, On Fri, 16 Oct 2020 12:38:23 +0200 Ludovic Courtès wrote: > As for the manual, I’m afraid it’ll make every msgid that contains > @code{#t} stale. So maybe now’s not a good time to make this change? Now's definitely not a good time to make this change. I think it's a good idea to make

Re: Using #true and #false everywhere?

2020-10-16 Thread jbranso
I use "f" for followup. That works for me. :) October 16, 2020 6:08 PM, "Miguel Ángel Arruga Vivas" wrote: > I didn't send this to the list... I must start using S L always instead > of R and changing the headers manually, sorry. :o) > > --- > Hi Ludo, > > Ludovic Courtès writes: > >> Hel