A real-life test of long-term reproducibility

2022-08-04 Thread Konrad Hinsen
Hi everyone, One of our claims is that Guix can rebuild code identically as long as we have a machine with a Linux kernel and a POSIX filesystem. This week I had an occasion to put this to a real-life test. So far it's a failure. I can guess reasons for my failed attempts, but I don't think they w

Re: A real-life test of long-term reproducibility

2022-08-08 Thread Konrad Hinsen
Hi Ludo and Tim, Thanks for your comments and experiments! Ludovic Courtès writes: > That’s a commit from January 2018, which is a few months before the > release of 0.15.0, the first release with proper ‘guix pull’ support: Ouch. I wasn't aware that even "guix pull" happened later! >> I don

Re: A real-life test of long-term reproducibility

2022-08-08 Thread Konrad Hinsen
Hi Ludo, > We can go back to 1.0.0, and presumably to 0.15.0, but anything older > than this is unknown territory. Even 1.0.0 isn't obvious: $ guix time-machine --commit=version-1.0.0 -- environment guix guix time-machine: error: Git error: unable to parse OID - contains invalid characters

Re: A real-life test of long-term reproducibility

2022-08-22 Thread Konrad Hinsen
Hi Simon, > However, many things can be out of rail. This claim about > reproducibility over the time assumes: > > 1. compatibility of the Linux kernel > 2. availability of all the source code > 3. compatibility of the hardware > > Well, until now, nothing had been reported about #1. But, we

Re: A real-life test of long-term reproducibility

2022-09-05 Thread Konrad Hinsen
Hi Ludo and Simon, > On Fri, 02 Sep 2022 at 15:17, Ludovic Courtès wrote: > >> Here you would need ‘--allow-downgrades’. > > Maybe time-machine could advertise of this option? And explain what it's about. I don't consider myself an absolute beginner with Guix, but I don't understand what's going

Re: A real-life test of long-term reproducibility

2022-09-07 Thread Konrad Hinsen
Hi Ludo and Simon, > Sorry I replied to quickly; it should have been > ‘--disable-authentication’. > > Why? Because here you’re trying to travel to a commit that’s not part > of the “authenticated history”—that is, it’s not a descendant of the > “introductory commit”, which is the first commit in

Creating a container from a container

2022-10-12 Thread Konrad Hinsen
Hi everyone, I am trying to run "guix shell -C" inside another container created with "guix shell -C". I figured out that I need to take care of three aspects: - Include the package "guix" in the outer container. - --expose=/gnu/store such that guix-in-the-container can access the store -

Re: Creating a container from a container

2022-10-13 Thread Konrad Hinsen
Konrad Hinsen writes: > In case it matters, I use -N for the outer container (in which I > use wget to fetch files), but not for the inner containers (the ones > whose creation causes the error). It does seem to matter... if I add -N for the inner container as well, the error disappea

Using Guix inside a Guix container

2023-02-03 Thread Konrad Hinsen
Hi Guix, I have been playing with nested Guix containers recently, with some suprising findings, and I am wondering if what I am doing is considered officially supported or not. First: why? My use case is scientific workflows, for example using snakemake. I want to run my workflows in Guix contai

Re: License of “10 years of stories behind Guix”

2023-02-11 Thread Konrad Hinsen
Dear lawyers of the world, I agree for my contribution to the blog post https://guix.gnu.org/en/blog/2022/10-years-of-stories-behind-guix/ to be published under CC-BY-SA 4.0 and GFDL version 1.3 or later (or whatever other open license the maintainers of the blog might prefer in the future).

Re: Using Guix inside a Guix container

2023-02-15 Thread Konrad Hinsen
James Thomas writes: > Makes sense to me, because the guix package definition was only updated > with the new release (see 'guix edit guix'). Maybe you can try: Indeed. That's at least an explanation, though I still don't see *why* it is done this way. In fact, the role of the package "guix" isn

Re: Using Guix inside a Guix container

2023-02-18 Thread Konrad Hinsen
Hi Simon, > Which part of Guix do you need inside the containerized shell that you > cannot do outside? That's not the right question. There's always a way to do what I want to do outside. But that may be very inconvenient. > Considering your use-case with Snakemake, what I am doing is to wrap >

Re: Using Guix inside a Guix container

2023-02-27 Thread Konrad Hinsen
Ludovic Courtès writes: > That’s an interesting use case! I guess we have a hard-enough time > getting the message through regarding the environment of tasks that we > didn’t really consider the environment of the “driver”. It takes something messy such as Snakemake to illustrate the importance

Time travel accident

2023-04-07 Thread Konrad Hinsen
Hi everyone, For doing some experiments with Python 3.8.2, I tried to use the commit that introduced that version into Guix; guix time-machine --commit=ce35dc84a10b05dc891bfae03f613b907337945e \ -- shell --pure python \ -- python3 That fails, due to a build failure in OpenSSL: buildi

Re: Time travel accident

2023-04-07 Thread Konrad Hinsen
Hi Josselin and Julien, Thanks to both of you for your suggestions! Josselin Poiret writes: > We have --without-tests=package already, see --help-transform for all > available package transformations. The one annoying thing is that > disabling tests will change the derivation and you thus will

Re: Time travel accident

2023-04-11 Thread Konrad Hinsen
Julien Lepiller writes: > If you're able to find the derivation, you could set your system time > and guix build /gnu/store/that.drv. this should not require network at > all, so guix shouldn't complain. Sounds good. The error message contains the path to the derivation, so... let's just do it!

Re: Time travel accident

2023-04-12 Thread Konrad Hinsen
Konrad Hinsen writes: >building profile with 1 package... >;;; WARNING: loading compiled file > /gnu/store/41zsnwsk02549kqb5njd3fadgnmkzww8-guix-module-union/lib/guile/3.0/site-ccache/guix/ui.go > failed: >;;; In procedure load-thunk-from-memory: incompatible bytecod

Re: Time travel accident

2023-04-12 Thread Konrad Hinsen
Hi Simon, > I get the same thing without doing anything special. Interesting. Before my clock-changing experiment, the same command line got me much further: the old Guix started to work and only failed when building OpenSSL. > Well, v1.0 appears to me as the zero for time-travel – soft limit.

Re: Time travel accident

2023-04-13 Thread Konrad Hinsen
Simon Tournier writes: > I have, > > --8<---cut here---start->8--- > $ guix gc --list-dead | grep 9gfmn1yra7rzavxb9wppqi4lpdvqid8c > finding garbage collector roots... > determining live/dead paths... > /gnu/store/9gfmn1yra7rzavxb9wppqi4lpdvqid8c-inferior-scrip

Re: Thoughts on making Guix even better

2020-03-09 Thread Konrad Hinsen
Hi everyone, > The guix system transactions are NON-MODULAR. That is, you cannot selectively reconfigure certain parts of the system. For example, you either reconfigure the system as a whole (or) you do not reconfigure the system at all. Today's software systems are inherentl

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: good practices in science

2020-04-06 Thread Konrad Hinsen
Hi Pierre, > I had never heard about this project, looks like it's a most critical > venture these days! :) > > https://underlay.mit.edu/ > > Any idea if there is a public project page? My understanding is that the project just started and hasn't much to show for now. It's on my "have-a-look-ever

Re: good practices in science

2020-04-07 Thread Konrad Hinsen
Hi Bengt, > (I guess I get excited reading prose that shows attention > to the distinction between abstractions and their representations. > Sort of like reading quotes from Plato, and thinking, "Hey, wow, > I've had some of those thoughts." :) There are plenty of good ideas in that project, I am

RE: good practices in science

2020-04-08 Thread Konrad Hinsen
bijan ghavami-kia writes: > It’s an interesting prospect, shouldn’t we be working towards this > fantastical goal? We (Guix) are already working towards the abstract goal of this project, because what Guix does is effectively provenance tracking for computations. Guix' package dependency graph i

Re: Hyperlinks!

2020-04-14 Thread Konrad Hinsen
On 13/04/2020 13:13, Pierre Neidhardt wrote: Ludovic Courtès writes: I’d like to extend it to include references to the Guile manual, so that one could click on, say, ‘append’, but there might be too many false positives at that point. And then we would need DrRacket fanciness to be able to d

Re: GNU Guix 1.1.0 released

2020-04-16 Thread Konrad Hinsen
On 15/04/2020 15:17, Ludovic Courtès wrote: We are pleased to announce the release of GNU Guix 1.1.0. The news has made it to a widely read IT news site in Germany (which I didn't expect): https://www.heise.de/developer/meldung/Linux-GNU-Guix-1-1-ist-auf-dem-Weg-zu-minimalistischem-Bootstra

Re: TLS certificates for web browsers in guix environment --container

2020-04-22 Thread Konrad Hinsen
On 21/04/2020 22:50, Pierre Neidhardt wrote: Makes sense, thank you for the details. What about adding the above example to the manual page of `guix environment'?? Good idea. I suppose it's not just Web browsers that will need this. I remember occasional certificate problems when running scr

Re: unexpected reproducibility of reproducible blog post?

2020-04-29 Thread Konrad Hinsen
Hi Simon, > Based on the nice blog post [1], instead of really travelling I just > travel in time. :-) > If I read correctly and if I did not do any mistake, the final hash is > not the same now than before. It is not what I was expecting. > > Expected output (blog post): > /gnu/store/iqn9yyvi8im1

Re: unexpected reproducibility of reproducible blog post?

2020-04-29 Thread Konrad Hinsen
zimoun writes: > Argh! The author should watch the Fun MOOC about computational > reproducibility. ;-) That would probably help. I'll pass on the message ;-) I have also opened an issue for this: https://github.com/khinsen/reproducibility-with-guix/issues/2 > Grafts or maybe Guile 2 -> 3?

Re: unexpected reproducibility of reproducible blog post?

2020-05-04 Thread Konrad Hinsen
Hi Simon, > I will add something overthere for tracking reproduciblity infos in > the future. It would actually be nice to have some external Guix reproducibility surveillance. A few benchmark packages that will be rebuilt regularly, using frozen commits via time-machine, and checked for bit-by-b

Re: unexpected reproducibility of reproducible blog post?

2020-05-05 Thread Konrad Hinsen
Hi Ludo, > Grafts are normal derivations, and they’re deterministic: it’s just > about replacing a set of strings by another set of strings. > > On the implementation, see also > . Thanks for the clarification. That post makes i

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

2020-06-18 Thread Konrad Hinsen
ocker. Or, for local execution, a Docker image containing Guix plus some tooling to do the equivalent of "guix time-machine –commit=xxx – build -f guix.scm" plus copying the contents of the generated package into the user's directory. Cheers, Konrad -- ----

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

2020-06-18 Thread Konrad Hinsen
on expert, so I don't propose myself for organizing this, but I can make a preselection of suitable submissions to the ReScience challenge (no proprietary software etc.) with comments about the specific challenges. Cheers, Konrad -- -----

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

2020-06-21 Thread Konrad Hinsen
Konrad Hinsen writes: > Sounds fine. I am not much of a hackathon expert, so I don't propose > myself for organizing this, but I can make a preselection of suitable > submissions to the ReScience challenge (no proprietary software etc.) > with comments about the specific challe

Re: Reproducible Research Hackathon: Friday, July 3rd

2020-07-04 Thread Konrad Hinsen
Hi Simon et al., > We are interested to hear your feedback. Especially about what pass, > what fail and what you have learnt, if you enjoyed the experience, or on > the contrary if you not, what could be improved for the next round. For me this was the occasion to finally start playing with a ch

Re: Reproducible Research Hackathon: Friday, July 3rd

2020-07-14 Thread Konrad Hinsen
Hi Ludo, > Apologies for the delay. What was this bug exactly? > > I know Bonface addressed an issue related to how the Python 2.4 build > system would capture the kernel version via ‘uname’ a build time: > > > https://gitlab.inria.fr/guix-hpc/guix-past/-/commit/d1977f5dccd73341f363cfa8d58ae3f

Re: Reproducible Research Hackathon: Friday, July 3rd

2020-07-14 Thread Konrad Hinsen
Hi Bonface and Ludo, > That's strange. To get the right results, you'd have to do a `2L ** 64`. Exactly. The long integer arithmetic works fine, it's the detection of the overflow of 64-bit ints that fails. > When I tried `2 ** 63` I got `-9223372036854775808`. There's also an Good catch, I had

Re: Improve ASDF build system for Common Lisp libraries

2020-09-12 Thread Konrad Hinsen
Am 12.09.20 um 11:36 schrieb Guillaume Le Vaillant: I've been working on some changes to the asdf-build-system for Common Lisp libraries and programs: That sounds very promising, thanks for this substantial effort! I can't test this right now, but will do so as soon as possible. Cheers, K

Re: [OUTREACHY] Proposal: substitutes over IPFS

2020-09-16 Thread Konrad Hinsen
Hi Ludo, > I prefer not to volunteer to mentor it, but I’m happy to contribute to > discussions and code review. > > Who’d be willing to mentor it? I don't know what exactly that implies, so all I say for now is that I'd be happy to participate in this project. I know the IPFS side rather well, b

Re: etc/news copyright (was Re: Translating the web site)

2020-09-24 Thread Konrad Hinsen
Ludovic Courtès writes: >> I attach a patch adding copyright notices, but I guess the authors >> should agree. I put them in Cc. > > If the authors agree, fine with me! Since I am in CC, I must be one of the authors, though I don't really remember what I could have contributed. Anyway, this is

Re: Guix in Debian!

2021-01-24 Thread Konrad Hinsen
On 24/01/2021 05:04, Vagrant Cascadian wrote: Now on Debian you should be able to: apt install guix guix install dpkg guix environment --ad-hoc dpkg -- dpkg -i ./guix_1.2.0-3_amd64.deb It is almost like symmetry! Wow, that's excellent news. Probably the biggest to improvement to onb

Finding the store path of a package

2021-03-17 Thread Konrad Hinsen
Dear Guix experts, I wonder if there is a straightforward way to find the store path corresponding to a package, assuming that the package actually is in the store. I don't care if it's done via the CLI or via Guile code. Use case: Looking at the files inside a package. What I do now is "ls /gnu/

Re: Finding the store path of a package

2021-03-18 Thread Konrad Hinsen
Hi Simon, > does “guix build -n” fit your use-case? Checking... yes! I hadn't even considered using "build" when building is exactly what I do not want to happen. But yes, it works just fine. > Well, ’package-output’ in (guix packages) is what you need, I guess. And that works just fine as wel

Re: Finding the store path of a package

2021-03-18 Thread Konrad Hinsen
Hi Simon, >> does “guix build -n” fit your use-case? > > Checking... yes! I hadn't even considered using "build" when building is > exactly what I do not want to happen. But yes, it works just fine. Not quite: $ guix build -n zziplib substitute: /gnu/store/pwcp239kjf7lnj5i4lkdzcfcxwcfyk72-bash

Re: Finding the store path of a package

2021-03-22 Thread Konrad Hinsen
Hi Ludo, > Yes. In the presence of grafts, run “guix build PKG”. That always > gives you the store file name of PKG, 100% reliable! At the cost of a few hours of CPU time, in the worst case. > I regularly do things like: > > ls $(guix build PKG)/bin > find $(guix build PKG) -name … What I

Re: Finding the store path of a package

2021-03-22 Thread Konrad Hinsen
Hi Simon, > On a side note, Ricardo did recently some stuff as UI for packages, > > > Looks good! My project has a lot of overlap, except that it is very intentionally not based on Web te

Re: Finding the store path of a package

2021-03-22 Thread Konrad Hinsen
Hi Ludo, > Here’s an example of how to do that: Works fine, thanks! > Why #:graft? #f? Because if you enable graft, you’ll potentially have > to build/download the thing, and that wouldn’t buy you anything because > the set of file names is the same in the grafted package. OK, so that's the se

Re: Outreachy'18

2018-03-06 Thread Konrad Hinsen
On 06/03/2018 20:34, Reshu Singh wrote: I am trying to install GUIX for ubuntu using sh script. I have named the script "guix-install.sh".I created the sh file in nano and ran using bash guix-install.sh Encountering an error "guix-install.sh: line 249: /home/reshu/.guix-profile/etc/profile: No

Re: installing python 2 and python 3 in the same profile

2018-03-11 Thread Konrad Hinsen
On 10/03/2018 09:34, Pjotr Prins wrote: It still works with ad-hoc environments, but manifests containing both Python versions cannot be instantiated any more. This is too strict, because we know that these two variants don’t cause conflicts. That is not my experience. Any mix is a problem.

Re: installing python 2 and python 3 in the same profile

2018-03-12 Thread Konrad Hinsen
Ricardo Wurmus writes: > It is an unnecessary restriction to *prevent* users from installing > Python 2 and 3 interpreters into the same profile. Any errors we see I agree. But the current question is not if we should allow people to shoot themselves into the foot, but how much effort we should

Re: installing python 2 and python 3 in the same profile

2018-03-14 Thread Konrad Hinsen
On 14/03/2018 12:39, Hartmut Goebel wrote: Am 13.03.2018 um 22:52 schrieb Ludovic Courtès: 2. Use different package names when we know things can be parallel-installed: “python2” vs. “python” (I’m talking about the package name, not its version string.) That’s what distros usuall

Re: installing python 2 and python 3 in the same profile

2018-03-15 Thread Konrad Hinsen
Ludovic Courtès writes: > Yes. OTOH we use the “python2-” prefix for 2.x packages and “python-” > for 3.x packages. Indeed. What a mess! >> This does of course raise the question of how this will evolve in the >> long run, but since so many bad decisions were already taken, I am not ... > Not

Re: Dealing with language bindings for libraries.

2018-05-09 Thread Konrad Hinsen
On 09/05/2018 17:21, Fis Trivial wrote: An ideal scenario would be the one that we can specify multiple outputs for one packages, each output corresponds to one language binding, and we can specify different dependencies and build system for each output. Is there any chance we can do that in gui

Re: Dealing with language bindings for libraries.

2018-05-10 Thread Konrad Hinsen
On 09/05/2018 20:00, Julien Lepiller wrote: We already have such a case: capstone and python-capstone. There is no redundancy since python-capstone knows how to load the shared library created in the capstone package. So we have two packages, with the same My situation is a bit different. The

Re: “Tarballs, the ultimate container image format”

2018-05-16 Thread Konrad Hinsen
On 17/05/2018 07:53, Chris Marusich wrote: Great article! Thank you for sharing it. The manual is nice, but I have to admit, I enjoy reading these blog posts quite a bit, too. It's nice to read a brief article that's focused on introducing a specific aspect of Guix, with cross-references for

Re: Python 2 retirement — what should Guix do?

2018-06-17 Thread Konrad Hinsen
Leo Famulari writes: > I wonder, what should Guix do? > > Personally, I think our set of Python packages is relatively hard to > maintain. There is a lot of brittle code in there. I'd be happy to drop > our policy that Python libraries have both Python 2 and 3 packages by > default. I expect Pyt

Re: Meetup in Paris, Dec. 10th?

2018-10-01 Thread Konrad Hinsen
Am 27.09.18 um 14:01 schrieb Ludovic Courtès: Some of us will be in Paris, France, for the Reproducible-Build Summit¹, December 11–13. I was wondering if people would be willing to gather, say, the day before the summit (December 10) to discuss Guix things and/or have hack sessions. Who’s in?

Re: Meetup in Paris, Dec. 10th!

2018-10-11 Thread Konrad Hinsen
Am 11.10.18 um 15:55 schrieb Ludovic Courtès: I’ve booked a room at Inria’s offices in Paris for the Dec. 10 gathering I proposed a while back, see: Great! At what time does it start? A couple of notes: the room capacity is 16 but I’ll look for a larger There's actually plenty of space for

Re: Happy birthday!

2018-11-23 Thread Konrad Hinsen
On 23/11/2018 14:41, Ludovic Courtès wrote: Today, it’s been six years already! Let's have a party then: (define-public guix-birthday-cake   (package     (name "guix-birthday-cake")     (synopsis "A birthday cake for Guix")     (build-system birthday-cake)     (arguments `(#:number-of-can

Re: the upcoming Great Python2 Purge™

2018-12-26 Thread Konrad Hinsen
On 26/12/2018 10:38, Efraim Flashner wrote: We're now about a year out from the official EOL for python2 (Jan 1, 2020). So far we've been not adding python2 variants of packages that are new unless they're actually needed for something. Do we want to start removing python2 packages when updating

Problem with Hydra?

2017-01-10 Thread Konrad Hinsen
Today's "guix pull" ended with an error when downloading a file from Hydra, which I then confirmed using wget: $ wget https://mirror.hydra.gnu.org/nar/96fy8dgs9p818zi63ypqw83xp10myi5a-psutils.tar.gz --2017-01-10 16:59:26-- https://mirror.hydra.gnu.org/nar/96fy8dgs9p818zi63ypqw83xp10myi5a-psu

Re: Problem with Hydra?

2017-01-11 Thread Konrad Hinsen
Hi Ludovic, The problem is that mirror.hydra.gnu.org was serving a zero-length file. This is fixed now. Indeed - I am up to date again! Thanks, Konrad.

Re: I can not run 'guix pull', how to deal with

2017-05-10 Thread Konrad Hinsen
On 07/05/2017 11:36, Ludovic Courtès wrote: guix pull: error: build failed: some substitutes for the outputs of derivation `/gnu/store/d1qkv7x8ayi75qjlg7d5j5g1h7y4fl5p-make-boot0-4.2.1.drv' failed (usually happens due to networking issues); try `--fallback' to build derivation from source I

How do I fix a messed-up Guix?

2017-05-16 Thread Konrad Hinsen
Hi everyone, since ¨guix pull" failed (see a recent message), I tried various ideas for getting back to a useable guix installation: - Build from a git checkout. Unfortunately, I cannot do "guix environment guix" anymore (like "guix pull", it tries to download python-2.7.12 and fails due to

Re: How do I fix a messed-up Guix?

2017-05-16 Thread Konrad Hinsen
On 16/05/2017 15:02, Konrad Hinsen wrote: I ended up rolling back until my profile no longer contained "guix" (I have no idea how I could ever produce such a profile), so now I am completely stuck. Any idea for getting out of this mess? I forgot two details: - I tried building pyt

Re: How do I fix a messed-up Guix?

2017-05-16 Thread Konrad Hinsen
Hi Julien, You could probably use the other user's guix version. Copy ~otheruser/.config/guix/latest to your own user's .config/guix, and try to guix pull from that. That won't mess with the other user's profile. Thanks, that helped, though not directly: the other user didn't have ~/.config/g

Adding a network interface

2017-09-24 Thread Konrad Hinsen
Dear Guixers, I have started to play with GuixSD in a virtual machine, but I quickly got stuck. My starting point is the supplied "bare bones" setup, which works fine with only trivial modifications such as the disk device name and the user accounts to be created. My virtual machine has two

Re: Adding a network interface

2017-09-26 Thread Konrad Hinsen
Hi Ricardo, Thanks for your reply! > This works for me. I have configured berlin.guixsd.org with two network > interfaces by simply providing static-networking-service twice. I’m not > removing any services from %base-services: > > (services (cons* … > (static-networking-service

Re: Scope of support for Guix on other distros

2017-10-02 Thread Konrad Hinsen
On 02/10/2017 11:18, David Seaward wrote: To what extent is support for other distros a priority for the Guix project? In other words, explicitly planning to make Guix available as an alternate installation source on non-Guix-SD distros. That's already possible right now. Go to the download pa

NFS mounts

2017-10-06 Thread Konrad Hinsen
Hi Guixers, does anyone have an example of a system configuration that mounts an NFS share at boot time? It seems that this requires some extra services and also some additional packages (to have mount.nfs for example). Konrad.

Re: NFS mounts

2017-10-10 Thread Konrad Hinsen
Hi Ludo, > Indeed, the initrd would need an extra package, like this: ... > Can you try if it works? I will! However, I am almost sure that this is not sufficient. For a first test, I installed nfs-utils for manually mounting my NFS share. It fails because the daemon rpc.statd is not running. I

Re: Guix on macOS

2017-10-12 Thread Konrad Hinsen
On 12/10/2017 05:29, Chris Marusich wrote: But before I begin, I wanted to know: has anyone done this already? Is there interest? Interest, yes, from at least one more person: me. But I suspect this is a really big effort, in particular to boostrap the whole system based on Apple's XCode, w

Re: Guix on macOS

2017-10-13 Thread Konrad Hinsen
On 13/10/2017 14:55, Ludovic Courtès wrote: If macOS had a similar feature, that’d be perfect: we wouldn’t have anything to do. Perhaps Docker-for-Mac actually provides something close to that? I really don’t know. Docker for Mac uses the macOS user-space virtualization facilities (via xhyv

Re: Guix on macOS

2017-10-13 Thread Konrad Hinsen
On 13/10/2017 14:55, Ludovic Courtès wrote: At the same time, one could hope that, if freedom is not enough, the nifty features of GuixSD, GNOME, the GNU toolchain, etc. would be enough of an incentive to switch. But hey, it’s complicated! There are those nasty real-world constraints, indeed.

Re: NFS mounts

2017-10-13 Thread Konrad Hinsen
Hi Ludo, > Indeed, the initrd would need an extra package, like this: > > diff --git a/gnu/system/linux-initrd.scm b/gnu/system/linux-initrd.scm ... > Can you try if it works? It compiles, and I can boot the new configuration without any trouble. Next, I added an NFS filesystem: (file-sy

Changing HTTP proxy settings in GuixSD

2017-10-26 Thread Konrad Hinsen
Hi everyone, I wonder if anyone else has had the problem I describe below and knows a solution. I am running GuixSD in a virtual machine on a laptop that I use in different network environments. One of them requires the use of a HTTP proxy, direct accesses being blocked. As a consequence, th

Re: Hacks to install Guix packages without root

2017-10-26 Thread Konrad Hinsen
On 26/10/2017 23:46, Ricardo Wurmus wrote: How about an extension of “guix pack” that will rewrite the /gnu/store references to a user-provided directory before bundling things up in a tarball? I’d *really* like to be able to just use the tarball bundle “guix pack” produces by default, but curr

Re: NFS mounts

2017-10-27 Thread Konrad Hinsen
Hi Ludo, > Could you test it in a VM, pass “console=ttyS0” as a kernel argument, > and “-serial stdio” so that we see all the messages on the console? It took a while, but here it is. My config.scm is attached as well. Konrad. config.scm Description: Binary data guixsd-console.log Descripti

Re: NFS mounts

2017-11-05 Thread Konrad Hinsen
Hi Ludo, > By default, file systems are automatically mounted at boot time. To > avoid that, you must add: > > (mount? #f) That works well indeed. But I actually want that NFS filesystem mounted at boot time, ideally (not strictly required though). Of course, the real problem is that I cannot

Re: NFS mounts

2017-11-06 Thread Konrad Hinsen
l...@gnu.org (Ludovic Courtès) writes: >> Of course, the real problem is that I cannot mount it at all because >> rpc.statd is missing. > > Ooh, got it. Well we could (ab)use the ‘dependencies’ field of > ‘file-system’ to introduce a dependency on the rpc.statd daemon startup. Is there a service

Re: Changing HTTP proxy settings in GuixSD

2017-11-06 Thread Konrad Hinsen
Hi Ludo, A quick workaround would be to do something along these lines: # herd stop guix-daemon # http_proxy=… guix-daemon --build-users-group=guixbuild # guix system reconfigure config.scm where config.scm has the relevant proxy configuration of in ‘guix-configuration’. Would that w

Re: Building Docker images of GuixSD

2017-11-09 Thread Konrad Hinsen
Hi Chris, I've run GuixSD in a Docker container and returned to tell the tale! Congratulations! And thanks for exploring all this. > Is this helpful? Is it worth polishing up and maintaining? I'm not > entirely sure, and I'd like to know what you think. I think it is useful, mainly for reas

Re: Changing HTTP proxy settings in GuixSD

2017-11-10 Thread Konrad Hinsen
Hi Chris, > That error looks suspicious. Perhaps you already know this, but it > probably means that the string "mirror.hydra.gnu.org" wound up being > used where a procedure should probably have been used instead. For > example, in your Guile REPL, you can reproduce this kind of error like > th

Re: Changing HTTP proxy settings in GuixSD

2017-11-16 Thread Konrad Hinsen
Hi Ludo, > I’ll update the ‘guix’ package soon so that this change is available to > daemon-side code such as ‘guix substitute’. In the meantime you can run > the daemon from a checkout: > > sudo -E ./pre-inst-env guix-daemon … That works fine - thanks! Konrad.

Re: GNU Guix & GuixSD 0.14.0 released

2017-12-07 Thread Konrad Hinsen
On 07/12/2017 13:45, Ludovic Courtès wrote: We are pleased to announce the release of GNU Guix & GuixSD 0.14.0, representing 5,192 commits by 88 people over 6 months. Congratulations and thanks to all contributors! The more I use Guix, the more I appreciate its qualities, but also the enormo

Building from a local source code checkout

2017-12-19 Thread Konrad Hinsen
Hi everyone, For debugging package definitions, it would be really nice to be able to build a package from a checkout of the original project source code, rather than having to make a tarball for each modification of that source code. Is this possible somehow? The manual suggests that a packa

Re: Building from a local source code checkout

2017-12-20 Thread Konrad Hinsen
Hi Ludo, >> For debugging package definitions, it would be really nice to be able >> to build a package from a checkout of the original project source >> code, rather than having to make a tarball for each modification of >> that source code. Is this possible somehow? > > You should be able to use

Re: Building from a local source code checkout

2017-12-20 Thread Konrad Hinsen
On 20/12/2017 09:52, Konrad Hinsen wrote: The name matching condition is my problem with this approach, which is why I was looking for a way to do specify a local source in the package definition itself. I just had the obvious idea of using symlinks to work around the name matching issues

Re: Building from a local source code checkout

2017-12-20 Thread Konrad Hinsen
Hi Carlo, > On 20 December 2017 9:19:00 pm AEDT, Konrad Hinsen > wrote: >> > guix build python-activepapers >>--with-source=~/Development/python-activepaper >>guix build: error: lstat: No such file or directory: >>"~/Development/python-activepapers&quo

Re: Building from a local source code checkout

2017-12-21 Thread Konrad Hinsen
l...@gnu.org (Ludovic Courtès) writes: > I agree the matching-name constraint can be annoying. The alternative > would be allow the user to (optionally?) specify the name of the package > whose source is being changed, as in: > > guix build python-activepapers \ > --with-source=python-activ

Re: [RFC] A simple draft for channels

2018-01-24 Thread Konrad Hinsen
On 24/01/2018 13:33, n...@n0.is wrote: In my honest opinion: No. We can not prevent this. All we can do is to provide a list of *official* channels. Beyond that I don't think we should try to regulate what's in an unofficial channel and what's allowed. +1 The best option in my opinion is to m

Re: Can we speed it up? Prev: compiling guix is too slow?

2018-02-05 Thread Konrad Hinsen
On 05/02/2018 08:34, Pjotr Prins wrote: compiled yet). Or generate a meta list for a source tree. Or subcategorize packages so only those packages get included that are asked for (assuming there are no deeper dependencies). For example, few people need the bioinformatics packages. We could have

Re: Can we speed it up? Prev: compiling guix is too slow?

2018-02-05 Thread Konrad Hinsen
Pjotr Prins writes: >> I wonder if anyone has analyzed the dependency graphs of software >> packages (not necessarily for Guix, some big distribution like >> Debian would be more interesting), with the goal if identifying good >> splits based on simple criteria. > > Yeah, that would be a neat exe

Why don't "guix pack" and "guix environment" accept manifests?

2018-02-06 Thread Konrad Hinsen
Hi everyone, Today I tried to convert one of my Guix profiles into a Docker image, and naively tried guix pack -f docker -m my-manifest.scm Now I know it doesn't work, but I wonder if there is a good reason or if this is just not implemented? The same question applies to "guix envir

Re: Use guix to distribute data & reproducible (data) science

2018-02-09 Thread Konrad Hinsen
Hi, On 09/02/2018 18:13, Ludovic Courtès wrote: Amirouche Boubekki skribis: tl;dr: Distribution of data and software seems similar. Data is more and more important in software and reproducible science. Data science ecosystem lakes resources sharing. I think guix can h

Re: Use guix to distribute data & reproducible (data) science

2018-02-12 Thread Konrad Hinsen
Hi everyone, zimoun writes: > From my point of view, there is 2 kind of datasets: > a- the ones which are part of the software, e.g., used to pass the > tests. Therefore, they are usually small, not always; > b- the ones which are applied to the software and somehow they are > not in the sourc

Re: Do you use packages in Guix to run neural networks?

2018-02-14 Thread Konrad Hinsen
On 14/02/2018 05:43, Fis Trivial wrote: Sorry for bothering with a completely unrelated topic. I'm curious do you train neural network with packages in Guix? Or did you packaged related libraries yourself? My needs are modest, all I use is the multilayer perceptron from scikit-learn, which is

Re: Use guix to distribute data & reproducible (data) science

2018-02-16 Thread Konrad Hinsen
Hi, > In other words, on the paper, what are the benefits of a management of > some piece of data in the store ? For example for the applications of > weights of a trained neural network; or of the positions of the atoms in > protein structure. Provenance tracking. In a complex data processing wo

Re: Use guix to distribute data & reproducible (data) science

2018-02-16 Thread Konrad Hinsen
Hi George, myg...@gmail.com writes: >> The three missing pieces are: >> >> - Dealing with measurements, which might involve interacting with >>experimental equipment or databases. Moreover, since data from >>such sources can change, its hash in the store must be computed >>from the c

Finding the channel in which a package is defined

2021-04-01 Thread Konrad Hinsen
Dear Guix experts, Is there a simple way to find out in which channel a given package was defined? I tried "guix edit" to see the source code, but it shows a file from a "module-union" directory in the store. Cheers, Konrad

  1   2   3   >