[fr] Moment de convivialité Guix@Paris en janvier… 2024

2023-12-20 Thread Tanguy LE CARROUR
(Warning: this email is in french because the meeting is supposed to be held in French… and in person.) Bonjour Guix, Ce jeudi 11 janvier 2024 à 19h, se tiendra la quatrième édition de Guix@Paris ouverte au public. Comme les fois précédentes, il sera possible de participer à distance (*cf* ci-de

Re: Computing a derivation for a profile

2023-12-20 Thread Ricardo Wurmus
Ricardo Wurmus writes: > I would like to compute a derivation for a profile specified by a > manifest. I do not (yet) want to actually build that derivation. “guix build -d -m manifest.scm” also doesn’t quite do what I want. It returns the derivations for all the listed packages, but it does

Re: Request-For-Comment process: concrete implementation

2023-12-20 Thread Ricardo Wurmus
Hi Simon, > Well, more than 7 weeks later… Hum, does it mean that the Guix project > is not interested in formalizing some RFC? > > WDYT about the proposal? I just got back from travels and finally caught up with important email. I read the proposal and it looks good to me. Thank you for worki

How to find a package file from substitute servers

2023-12-20 Thread Pan Xie
Hello I ask this question because I encounter a very mundane problem: I want to use the `at' command on my GuixSD system. Like what I always do on Archlinux, the first step is to find out which package includes the `at' command: #+begin_example pacman -Fx bin/at$ usr/bin/at is owned by extra/at

guix installation why internet connection required?

2023-12-20 Thread vvt
x86 x64 gnu guix system 1.4.0 iso requires internet connection in order to get installed. Same goes for i686 iso. Why is that so? Why is there no iso option for installing off line? Thanks. - This free account was provided by VFEmail.net - report

Re: guix installation why internet connection required?

2023-12-20 Thread Adam Faiz
Hi vvt, > x86 x64 gnu guix system 1.4.0 iso requires internet connection in order to get > installed. Same goes for i686 iso. > > Why is that so? Why is there no > iso option for installing off line? Thanks. The reason why is because the GNU Guix System ISO is a netinstall ISO, it has the bare mi

arm-none-eabi toolchain and compiling C++ stuff

2023-12-20 Thread Attila Lendvai
dear Guix, i'm trying to compile something to a raspberry rp2040 microcontroller (https://codeberg.org/Riku_V/pico-serprog). $ guix shell gcc-toolchain cmake make pkg-config -e "((@ (gnu packages embedded) make-arm-none-eabi-toolchain-7-2018-q2-update))" $ cd _deps $ git clone https://github.co

Re: arm-none-eabi toolchain and compiling C++ stuff

2023-12-20 Thread Ekaitz Zarraga
On 2023-12-20 21:28, Attila Lendvai wrote: dear Guix, i'm trying to compile something to a raspberry rp2040 microcontroller (https://codeberg.org/Riku_V/pico-serprog). $ guix shell gcc-toolchain cmake make pkg-config -e "((@ (gnu packages embedded) make-arm-none-eabi-toolchain-7-2018-q2-up