Re: List of installed package, version pairs

2019-01-15 Thread Gábor Boskovits
Hello Jack, you could also try to make sense of the individual profile generation manifests. The union of those should give a farily comprehensive list, and it comes with versions. 2019. jan. 15., K 22:29 dátummal Jack Hill ezt írta: > Thanks! I'm still not quite there, but the suggestion belo

Re: List of installed package, version pairs

2019-01-15 Thread Jack Hill
Thanks! I'm still not quite there, but the suggestion below have been quite helpful in my thinking and experimentation. On Thu, 10 Jan 2019, Efraim Flashner wrote: For packages you have installed in your profile 'guix package -I | cut -f1,2 --output-delimiter=@ | sort -u' gives a nice list. Pe

Re: Guix on Android, getaddrinfo, failure in name resolution

2019-01-15 Thread 白い熊
On January 15, 2019 6:03:57 PM UTC, Julien Lepiller wrote: >> Access meaning how? I have 8.8.8.8 and 8.8.4.4 set as nameservers… > >I mean, can you connect to these servers on UDP port 53? According to >the rest of your answer, I guess guix cannot for some reason... > >So here's what I think i

Re: Guix on Android, getaddrinfo, failure in name resolution

2019-01-15 Thread Julien Lepiller
Le 2019-01-15 18:53, 白い熊 a écrit : -- 白い熊 On January 15, 2019 5:24:30 PM UTC, Julien Lepiller wrote: If you use ping from the system (android), it uses bionic, which guix doesn't use. You have to test with a tool that uses glibc. Oh yes — obviously you are right! It didn't occur to me I'm

Re: Guix on Android, getaddrinfo, failure in name resolution

2019-01-15 Thread 白い熊
-- 白い熊 On January 15, 2019 5:24:30 PM UTC, Julien Lepiller wrote: >If you use ping from the system (android), it uses bionic, which guix >doesn't use. You have to test with a tool that uses glibc. Oh yes — obviously you are right! It didn't occur to me I'm using the android ping — busybox bi

Re: Guix on Android, getaddrinfo, failure in name resolution

2019-01-15 Thread Julien Lepiller
Le 2019-01-15 18:13, 白い熊 a écrit : On January 15, 2019 3:30:07 PM UTC, Julien Lepiller wrote: Well, if it's a name resolution issue, the first culprit that comes to mind is /etc/resolv.conf. Do you have that file, and is it correctly configured? Yes indeed, I have it copied from /system/etc

Re: Guix on Android, getaddrinfo, failure in name resolution

2019-01-15 Thread 白い熊
On January 15, 2019 5:13:26 PM UTC, "白い熊" wrote: >One thing now that I'm thinking — looking at the error output — could >this be somehow associated with https ufiticil? I see that all the >files from all the substitutes “guix pull” is trying to download are >from https:// locations. The first

Re: Guix on Android, getaddrinfo, failure in name resolution

2019-01-15 Thread 白い熊
On January 15, 2019 3:30:07 PM UTC, Julien Lepiller wrote: >Well, if it's a name resolution issue, the first culprit that comes to >mind is /etc/resolv.conf. Do you have that file, and is it correctly >configured? Yes indeed, I have it copied from /system/etc/ and it just has the two Google

Re: Error: guix build xonsh ; guix pull --commit=572ee05c31

2019-01-15 Thread zimoun
Hi, > What makes you think it did not keep going? When using --keep-going > you’ll still get an error at the end if one or more builds failed. Hum? it should build the world, isn't? And it ends after less than half hour. If I try: guix build \ --cores=0 --max-jobs=10 \ --quiet gnome

Re: guix daemon and proxy settings

2019-01-15 Thread Lamballais
timeout after several minutes a netstat -an command shows SYN_SENT tcp/ip state made by the guile process (found using lsof tool) ‐‐‐ Original Message ‐‐‐ Le mardi 15 janvier 2019 16:24, Leo Famulari a écrit : > On Mon, Jan 14, 2019 at 05:03:13PM +, Lamballais wrote: > > > When tr

Re: Guix on Android, getaddrinfo, failure in name resolution

2019-01-15 Thread Julien Lepiller
Le 2019-01-15 15:39, 白い熊 a écrit : Hi Guix: I have Guix armhf set up on my Android phone — I've been experimenting with it for some time. It works/used to work quite well, though there's some hoops to jump through, setting up some skeleton GNU files that the Bionic based Android C library doesn'

Re: guix daemon and proxy settings

2019-01-15 Thread Leo Famulari
On Mon, Jan 14, 2019 at 05:03:13PM +, Lamballais wrote: > When trying to install glibc-utf8-locale package, it fails How does it fail? signature.asc Description: PGP signature

Guix on Android, getaddrinfo, failure in name resolution

2019-01-15 Thread 白い熊
Hi Guix: I have Guix armhf set up on my Android phone — I've been experimenting with it for some time. It works/used to work quite well, though there's some hoops to jump through, setting up some skeleton GNU files that the Bionic based Android C library doesn't use. Most of the setup along th

Docker+emacs+geiser

2019-01-15 Thread zimoun
Dear, I am trying to build Docker images and run them. The `load-path' of Emacs does not point to emacs-geiser. Is it expected ? Thank you in advance for any explanations. All the best, simon -- Some details. The command: guix pack -f docker \ -S /bin=bin \ -S /lib=l