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

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

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 >>

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 >

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

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

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

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

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

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

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

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: 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

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

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