bug#35178: Agda doesn't build

2019-04-06 Thread Pronaip
Partial build log below. Ran right after a guix pull && guix package -u. starting phase `set-SOURCE-DATE-EPOCH' phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds starting phase `set-paths' environment variable `PATH' set to `/gnu/store/564215v4ma3jqxai20hf1ymcrn60nm44-ghc-8.4.3/bin:/gnu/

bug#35178: Agda doesn't build

2019-04-08 Thread Pronaip
‐‐‐ Original Message ‐‐‐ On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès wrote: > Could check whether it systematically fails to build? > > Thank you, > Ludo’. I've tried it a few times, it always gives the same result. The --rounds thing stops after the first failed build, so maybe I'

bug#35908: guix describe: error: failed to determine origin (and possibly failed upgrades)

2019-05-25 Thread Pronaip
I've been getting this error ever since I first installed Guix on Arch, but I have no idea why. I've ran guix pull and guix package -u both as root and as my own user several times since then but this error hasn't gone away. Also I noticed that some functionality that works on my GuixSD install

bug#35178: Agda doesn't build

2019-05-25 Thread Pronaip
Oh I forgot to update this. The build seems to work fine now for some reason. Sent with ProtonMail Secure Email. ‐‐‐ Original Message ‐‐‐ On Tuesday, April 9, 2019 12:58 PM, Ludovic Courtès wrote: > Pronaip pron...@protonmail.com skribis: > > > ‐‐‐ Original Message ‐‐

bug#35908: version

2019-05-25 Thread Pronaip
oh wait, i found the version info guix (GNU Guix) 0.16.0-11.f970946

bug#35908: guix describe: error: failed to determine origin (and possibly failed upgrades)

2019-05-26 Thread Pronaip
‐‐‐ Original Message ‐‐‐ On Sunday, May 26, 2019 8:37 AM, Marius Bakke wrote: > Hi Pronaip, > > Pronaip pron...@protonmail.com writes: > > > I've been getting this error ever since I first installed Guix on Arch, but > > I have no idea why. I've ran gui

bug#36008: [whishlist] Installer: install a terminal emulator with i3-wm?

2019-05-31 Thread Pronaip
‐‐‐ Original Message ‐‐‐ On Thursday, May 30, 2019 6:22 PM, Giovanni Biscuolo wrote: > Hello, > > With the graphical installer, When only installing i3-wm as desktop > manager I got an error like: > > i3-sensible-terminal error... > > because there is no terminal emulator installed by def

bug#58798: mkdir: File exists error during substitution

2022-10-26 Thread pronaip
I think this was triggered by the laptop going to sleep and then being woken up? 92.4 MB will be downloaded webkitgtk-with-libsoup2-2.36.7 22.8MiB 44KiB/s 05:25 [### ] 61.2%retrying download of '/gnu/store/pzkvwib98nm5vbmy132gg2m1lb0v1qbw-webkitgtk-with-libsoup

bug#59071: guix home does not respect package outputs

2022-11-06 Thread pronaip
Package outputs are apparently tricky, people seem to tend to forget they exist. This is another case of that. This should be a good enough reproducer: ``` (home-environment (packages (map specification->package+output (list "glib:bin" ...))) ...) ``` If you look at guix