Re: Grub installation and configuration

2023-03-07 Thread Felix Lechner via
Hi Vagrant, On Tue, Mar 7, 2023 at 2:52 PM Vagrant Cascadian wrote: > > Kind of related, with EFI you could actually install additional system > generations as entirely separate EFI boot entries > (e.g. /boot/efi/efi/guix-N and /boot/efi/efi/guix-N+1) in case the most > recent grub was broken for

Re: Help-Guix Digest, Vol 88, Issue 4

2023-03-07 Thread 宋文武
Gottfried writes: > Hi, Hello! > 1. >> GUIX_PROFILE="~/guix-profiles/emacs/emacs" >>> . "$GUIX_PROFILE"/etc/profile > > As unexperienced in Scheme I am asking > if the second line beginning with the "dot" is separated for easier > read, but everything is one command? Those 2 line are bash co

Re: Grub installation and configuration

2023-03-07 Thread Vagrant Cascadian
On 2023-03-07, Ludovic Courtès wrote: > Emmanuel Beffara skribis: > >> - Install the keymaps in the EFI partition like the Grub modules, so that the >> proper keymap is setup early in the boot process. > > [...] > >> - Set the terminal_output before any user input is required (and in >> particu

Online accounts in evolution

2023-03-07 Thread Christophe Pisteur
Hi, I did a fresh install of Guix system 1.4, installed the evolution package and then imported an evolution-backup archive made on a previous guix system, which I did in the past several times successfully, but this time the online accounts (Nextcloud: calendar, address book) were not taken into

Re: streamlining custom package development

2023-03-07 Thread Simon Tournier
Hi, On Tue, 07 Mar 2023 at 16:57, Przemysław Kamiński wrote: > Starting download of /tmp/guix-file.TykbjO > From > https://hackage.haskell.org/package/servant-examples/servant-examples-0.1.0.0.tar.gz... > download failed > "https://hackage.haskell.org/package/servant-examples/servant-examples

Re: Guix can't find substitutes, even though guix weather claims they exist

2023-03-07 Thread Timo Wilken
Hi, I've just run into this problem again... I ran guix pull, then guix home reconfigure two minutes ago. This time aerc and hledger are rebuilt from scratch, even though guix weather claims substitutes exist for both (both on bordeaux; only aerc on ci.guix.gnu.org). --8<---cut here--

Re: Wrong type argument: package-input-rewriting/spec with inferior

2023-03-07 Thread Greg Hogan
On Tue, Mar 7, 2023 at 10:56 AM Ludovic Courtès wrote: > > But then again, I wonder why you end up rebuilding glibc. For example, > this would only rebuild LLVM and everything above: > > --8<---cut here---start->8--- > $ guix build clang --with-c-toolchain=llvm

Re: Grub installation and configuration

2023-03-07 Thread Emmanuel Beffara
De Ludovic Courtès le 07/03/2023 à 17:12: > Maybe what you can do, then, is report each issue to bug-g...@gnu.org > separately and provide guidance for the GRUB side of things: what should > the generated ‘grub.cfg’ look like after each of these points is > addressed? > > In return, an experienced

Re: streamlining custom package development

2023-03-07 Thread Przemysław Kamiński
As for an example. Clone this repository https://github.com/sras/servant-examples Then cd into it and run cat servant-examples.cabal | guix import hackage -s -r The '-s' option reads from stdin, the '-r' option imports everything recursively. It throws this output: Starting download of /tm

Re: Help-Guix Digest, Vol 88, Issue 4

2023-03-07 Thread Gottfried
Hi, 1. GUIX_PROFILE="~/guix-profiles/emacs/emacs" . "$GUIX_PROFILE"/etc/profile As unexperienced in Scheme I am asking if the second line beginning with the "dot" is separated for easier read, but everything is one command? 2. I have got already many packages in my profile and updating ta

Re: Grub installation and configuration

2023-03-07 Thread Ludovic Courtès
Hi Emmanuel, Emmanuel Beffara skribis: > - Install the keymaps in the EFI partition like the Grub modules, so that the > proper keymap is setup early in the boot process. [...] > - Set the terminal_output before any user input is required (and in particular > the passphrase request), for p

Re: %current-system and --system

2023-03-07 Thread Ludovic Courtès
Hi, Greg Hogan skribis: > From my x86_64 machine I am executing offload builds targeting an > aarch64 machine: > > $ guix build --system=aarch64-linux --manifest=manifest.scm > > Several packages do not build for aarch64 and need to be filtered out. > %current-target-system is #f as these are of

Re: streamlining custom package development

2023-03-07 Thread Ludovic Courtès
Hi, Przemysław Kamiński skribis: > 3. I run `guix build -L -m manifest.scm > (manifest only contains a reference to ghc-stuff.scm) > 4. I get an error which looks like this: > View build log at > '/var/log/guix/drvs/j2/wa3vw49l78m85z74x91sklqxwhx87y-ghc-hwodr-0.1.0.drv.bz2' > > so I fire up > >

Re: Wrong type argument: package-input-rewriting/spec with inferior

2023-03-07 Thread Ludovic Courtès
Hi Greg, Greg Hogan skribis: > Having failed a year ago to build the latest gcc and latest clang > together using "with-c-toolchain", Is there a bug report on this? I’m curious what might be wrong; ‘with-c-toolchain’ should be the tool of choice for this use case. [...] > On master I modify

Re: guix system image fails with: service 'swap-/swapfile' requires 'file-system-/'

2023-03-07 Thread Ludovic Courtès
Hi Martin, Sorry for the late reply. Martin Castillo skribis: [...] > /mnt/root/man.config.scm:35:14: warning: the 'target' field is > deprecated, please use 'targets' instead > guix system: warning: Consider running 'guix pull' followed by > 'guix system reconfigure' to get up-to-date packag

Re: streamlining custom package development

2023-03-07 Thread Simon Tournier
Hi, On Fri, 03 Mar 2023 at 10:44, Przemysław Kamiński wrote: > This is tedious. Is there a way to automate this a bit more? Nothing I am aware of. Because Guix relies on some LTS, there is no easy way, to my knowledge, to achieve what you would like. Somehow you have to package by yourself an

Re: Newbie user: Feedback on custom package definition

2023-03-07 Thread Simon Tournier
Hi, On Thu, 02 Mar 2023 at 19:57, "(" wrote: > On Thu Mar 2, 2023 at 6:54 PM GMT, Vagrant Cascadian wrote: >> I often wonder if the name "trivial-build-system" should not be >> something more like: >> >> diy-get-your-hands-messy-with-a-lot-of-effort-build-system > > Maybe PRIMITIVE-BUILD-SYSTEM

Re: %current-system and --system

2023-03-07 Thread Efraim Flashner
On Fri, Mar 03, 2023 at 10:37:44AM -0500, Greg Hogan wrote: > Hi Guix, > > From my x86_64 machine I am executing offload builds targeting an > aarch64 machine: > > $ guix build --system=aarch64-linux --manifest=manifest.scm > > Several packages do not build for aarch64 and need to be filtered ou