Re: how to "guix pack" a profile?

2020-06-18 Thread elaexuotee
Ludo, Pierre, would you mind commenting? Starting to doubt my sanity here. > Well, from my understanding, any profile point to /gnu/store/-profile. Exactly. This is something we both know. I feel like we are not communicating well with each other. You emphasize that declarative package

Re: how to "guix pack" a profile?

2020-06-18 Thread zimoun
Dear, On Thu, 18 Jun 2020 at 18:20, elaexuo...@wilsonb.com wrote: > By `profile', I mean any store output named like /gnu/store/-profile. > These outputs are created by `guix package' invocations as well as `guix > environment' ones. > > By `user profile', I mean the (non-static) contents

Re: Release Guix 1.1.1?

2020-06-18 Thread zimoun
Dear, On Thu, 21 May 2020 at 23:06, Marius Bakke wrote: > What do y'all think about targeting a 1.1.1 release a few weeks from > now? It could be really cool! There is a couple of new nice features: "guix repl", Cuirass download, introduction of authentication channels, etc. What can be the

Re: “Reproducible research articles, from source code to PDF”

2020-06-18 Thread Pjotr Prins
On Thu, Jun 18, 2020 at 03:05:42PM +0200, Ludovic Courtès wrote: > Sounds like a good idea! Perhaps a one-day hackathon to begin with? > Early July maybe? If I have no other obligations I am game. Pj.

Re: “Reproducible research articles, from source code to PDF”

2020-06-18 Thread Konrad Hinsen
Ludovic Courtès writes: >> Maybe we could organize a Virtual Hackathon? Over 1 day? Or 2 days? >> The power of collective motivation. :-) > > Sounds like a good idea! Perhaps a one-day hackathon to begin with? > Early July maybe? Sounds fine. I am not much of a hackathon expert, so I don't

Re: [PATCH] doc: cookbook: Update entry about getting substitutes through Tor.

2020-06-18 Thread André Batista
Hello Brice, qua 17 jun 2020 às 08:37:59 (1592393879), br...@waegenei.re enviou: > Hello André, > > Thank you for the patch and your feedback! It's me who should be thanking you! > When writing this section of the cookbook I was worried that some > readers will misunderstood it so I added a

Re: “Reproducible research articles, from source code to PDF”

2020-06-18 Thread Ludovic Courtès
zimoun skribis: > On Thu, 18 Jun 2020 at 13:42, Ludovic Courtès > wrote: > >>> I'd start somewhat differently: generate diverse use case examples. The >>> contributions to the ReScience reproducibility challenge could be a nice >>> starting point: go through them, one by one, and try to

Re: “Reproducible research articles, from source code to PDF”

2020-06-18 Thread zimoun
On Thu, 18 Jun 2020 at 13:42, Ludovic Courtès wrote: >> I'd start somewhat differently: generate diverse use case examples. The >> contributions to the ReScience reproducibility challenge could be a nice >> starting point: go through them, one by one, and try to re-implement the >> authors'

Re: “Reproducible research articles, from source code to PDF”

2020-06-18 Thread Ludovic Courtès
Hi, Konrad Hinsen skribis: >> I don’t like the phrase “average scientist”, and we’re talking about >> people with a PhD who definitely know how to learn. > > I didn't take that phrase as a reference to ability, but to prior > knowledge. I am pretty sure that anyone who uses Python can also

Re: “Reproducible research articles, from source code to PDF”

2020-06-18 Thread Konrad Hinsen
Hi Ludo and Simon, > I don’t like the phrase “average scientist”, and we’re talking about > people with a PhD who definitely know how to learn. I didn't take that phrase as a reference to ability, but to prior knowledge. I am pretty sure that anyone who uses Python can also learn to use Guile,

Re: how to "guix pack" a profile?

2020-06-18 Thread elaexuotee
Zimoun, thank you for taking the time to closely read my long emails. > Well, if I re-read correctly the emails and proposal, they are 2 points: > > 1. Easily share a profile via "guix pack" > 2. A mean via recreating "manifest.scm" files Hrm. I agree that point 1 is the immediate goal I have

Re: bug#35728: Tor & IceCat's TorButton shows it's connected but doesn't route the traffic

2020-06-18 Thread Mark H Weaver
Hello again. In my previous message, I asked: > Which version of Debian did you test with, and how did you > install the Firefox that you used for testing this? Also, what version of Firefox did you test with? Thanks, Mark

Re: bug#35728: Tor & IceCat's TorButton shows it's connected but doesn't route the traffic

2020-06-18 Thread Mark H Weaver
Hi, sirmacik wrote: > There seems to be a problem with Tor and TorButton in GNU IceCat's > package. Torsocks works for other apps, TorButton shows notification > that it's connected to the Tor server but when I go to > check.torproject.org I'm not routed through tor. Thanks for bringing this to

Re: “Reproducible research articles, from source code to PDF”

2020-06-18 Thread Ludovic Courtès
Hi Simon! zimoun skribis: > For example, they are future bridges to think: connect the Guix archive > somehow with zenodo DOI and/or Software Heritage identifier. > > When I read this comment in the review [1]: > > As a final note, I wonder if, and how much, the author's >

Re: Latest download from website

2020-06-18 Thread Mathieu Othacehe
Hey Ludo! > That looks nice to me! I think it should prominently say that these are > “development snapshots” (probably these two words must appear) though, > and perhaps contain a link to /download for those looking for releases. > > Other than that, I’d say go for it! I took your remark