Re: Failed to connect to guix daemon socket in pure env

2020-02-22 Thread Jérémy Korwin-Zmijowski
Awesome ! Thank you vert much Simon. I would be please to put some effort in the handbook to ease first time packaging contributions. (I have a bunch of notes almost ready for it) Jérémy -- Envoyé de mon appareil Android avec Courriel K-9 Mail. Veuillez excuser ma brièveté.

Re: Configuring VPN

2020-02-22 Thread Raghav Gururajan
Hi Julien! >> Ah the password method is still not supported by the service because >> I didn't have time to do it and kinda forgot about it… I'll see if I >> can do something for you. > > Thank you very much, I appreciate it. :-) Just following up. Any luck? Regards, RG.

Re: Configuring VPN

2020-02-22 Thread Julien Lepiller
Le 22 février 2020 07:09:46 GMT-05:00, Raghav Gururajan a écrit : >Hi Julien! > >>> Ah the password method is still not supported by the service because >>> I didn't have time to do it and kinda forgot about it… I'll see if I >>> can do something for you. >> >> Thank you very much, I appreciate

TeX Live: lualatex looks in /usr

2020-02-22 Thread Marco van Hulten
Hi all— lualatex (from texlive-20180414) is looking in /usr/local/. $ lualatex apen This is LuaTeX, Version 1.07.0 (TeX Live 2018) restricted system commands enabled. (./apen.tex[\directlua]:1: module 'lualatexquotejobname.lua' not found:

Re: TeX Live: lualatex looks in /usr

2020-02-22 Thread Marco van Hulten
Je 22 feb 18:15 skribis Marco: > lualatex (from texlive-20180414) is looking in /usr/local/. This happens from a terminal, but from Texmaker lualatex works (builds a good PDF). —Marco

Re: TeX Live: lualatex looks in /usr

2020-02-22 Thread Ricardo Wurmus
Hi Marco, > lualatex (from texlive-20180414) is looking in /usr/local/. > > > $ lualatex apen > This is LuaTeX, Version 1.07.0 (TeX Live 2018) > restricted system commands enabled. > (./apen.tex[\directlua]:1: module 'lualatexquotejobname.lua

boot loader not installing for encrypted 64-bit

2020-02-22 Thread Kete via
Hello, I've tried to install an encrypted GuixSD 64-bit on 2 different computers, and both times, the graphical install couldn't install the bootloader. In Qemu and on 32-bit, the bootloader installed fine. I don't know how to fix. There's an efi directory on the flashdrive, so I don't know what's

Re: boot loader not installing for encrypted 64-bit

2020-02-22 Thread Kete via
PS – Here is the output: error: '/gnu/store/...-grub-efi-2.02/sbin/grub-install --boot-directory /mnt/boot --bootloader-id=Guix --efi-directory /boot/efi' exited with status 1; output follows:     Installing for x86_64-efi platform.     /gnu/store/...-grub-efi-2.02/sbin/grub-install: error: faile

Re: boot loader not installing for encrypted 64-bit

2020-02-22 Thread Kete via
They don't look wrong, but here are the contents of /sys/firmware/efi: config_table, efivars/, esrt/, fw_platform_size, fw_vendor, runtime, runtime-map/, systab, vars/ and here is my config.scm: ;; This is an operating system configuration generated ;; by the graphical installer. (use-modules (

Re: boot loader not installing for encrypted 64-bit

2020-02-22 Thread Tobias Geerinckx-Rice
Kete, Kete via 写道: I have rebooted, decrypted and mounted my partition ^^^ Did you also mount your EFI System Partition on /mnt/boot/efi? Kind regards, T G-R signature.asc Description: PGP signature

Re: boot loader not installing for encrypted 64-bit

2020-02-22 Thread Kete via
Ok, I tried running that grub-install command manually, making the --efi-directory /mnt/boot/efi, but I got the same error. Then, I made an efi directory in /mnt/boot, and grub-install replied something like, "That doesn't look like an EFI partition!" Next, I decided not to make an EFI partition an

Re: boot loader not installing for encrypted 64-bit

2020-02-22 Thread Kete via
On 2/22/20 7:53 PM, Tobias Geerinckx-Rice wrote: >> I have rebooted, decrypted and mounted my partition >   ^^^ > Did you also mount your EFI System Partition on /mnt/boot/efi? Thanks, is that /dev/sda? I only saw /dev/sda and /dev/sda1. Maybe I shoul

Re: boot loader not installing for encrypted 64-bit

2020-02-22 Thread Tobias Geerinckx-Rice
Kete 写道: On 2/22/20 7:53 PM, Tobias Geerinckx-Rice wrote: I have rebooted, decrypted and mounted my partition ^^^ Did you also mount your EFI System Partition on /mnt/boot/efi? Thanks, is that /dev/sda? I only saw /dev/sda and /dev/sda1. Maybe

Re: boot loader not installing for encrypted 64-bit

2020-02-22 Thread Tobias Geerinckx-Rice
Kete, Kete 写道: I only saw /dev/sda and /dev/sda1. Maybe I should make an EFI partion during the graphical installation. Unfortunately, I'm not familiar with the graphical installer. Kind regards, T G-R signature.asc Description: PGP signature

Re: boot loader not installing for encrypted 64-bit

2020-02-22 Thread Tobias Geerinckx-Rice
Kete via 写道: That worked, but I had to disable UEFI boot and enable "legacy" boot in the BIOS. If this is fine for you, keep it. Ok, I tried running that grub-install command manually, making the --efi-directory /mnt/boot/efi, but I got the same error. If you would like to continue tinkeri