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

[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-dessous).


## Programme

Il n'y a pas vraiment de programme… pour le moment ! À vous de proposer
des sujets en avance si vous voulez partager sur des sujets particuliers.
Le but est toujours que les utilisat·rice·eur·s de Guix
—ou futur·e·s utilisat·rice·eur·s !—, dans la région parisienne se
rencontrent et qu'ielles puissent discuter de Guix, Guile ou autres.

L'idée est surtout de passer un moment convivial en mettant des visages
sur des noms. Se rencontrer quoi ! 🙂

Il n'y a pas d'expérience pré-requise et vous êtes tout·e·s les bienvenu·e·s.


## Logistique

Vous pouvez nous dire si vous comptez venir en répondant à ce message,
mais vous serez aussi les bienvenu·e·s au dernier moment ! 😉

Nous nous occupons des tables, des chaises, des prises électriques et
du vidéo-projecteur. Il y aura aussi de quoi boire et grignoter, mais
vous pouvez apporter ce qui vous ferait plaisir.


## Participation à distance

Sauf annonce contraire, il sera possible de participer à distance
*via* l'instance Jitsi Meet d'Easter-eggs :
.


## Accès

Nous serons accueilli·e·s dans les locaux de l'[April][1], elle même hébergée
par [Easter-eggs][2] :

```
Association April
44/46 rue de l'Ouest (cour intérieure)
Bâtiment 8
75014 Paris

Stations de Métro : Gaîté, Montparnasse, Pernety.

OpenStreetMap : .
```

[1]: https://april.org "April, promouvoir et défendre le logiciel libre"
[2]: https://easter-eggs.com/Presentation-d-Easter-eggs "Easter-eggs"


Au plaisir de vous y rencontrer !

-- 
Tanguy

Re: Computing a derivation for a profile

[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 doesn’t
generate a profile derivation and doesn’t include any of the hooks
either.

-- 
Ricardo

Re: Request-For-Comment process: concrete implementation

[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 working on
this!

This would be the first project I contribute to that has an RFC process,
so I don’t know what to look out for.  My concerns may thus be
completely out of touch with reality, so beware as you read on.

It seems to me that the exact process is a little vague, especially with
regard to how long the comment period should be, and what expectations
there are during this period.  There is a chance that the open comment
period will lead to derailing discussions of tangents that make it hard
for the submitter to answer to real issues (because it would become
increasingly difficult to read all messages).

I’m thinking of some of the big discussions on the devel list in the
past that became too big to follow, and resulted in “consensus by
attrition”.  Do you know how other projects avoid needlessly dragging on
discussions about RFCs?

Will *any* disagreement have to be addressed, or will there be an
implicit weighing of opinions?  As the project grows bigger there can be
a problem of having inexperienced contributors (or those with
qualifications that are irrelevant to the proposal) block the RFC
without malicious intent by essentially requiring to be tutored on areas
outside of their expertise.

I wouldn’t trust myself to write an RFC without having played with an
implementation first.  I have doubts whether RFCs that are written
without a proof of concept could reasonably be evaluated.  Often details
and subtle problems are discovered only when playing with a patch, and
this may happen only after an RFC has been accepted.  Can we take back
approval in this RFC process?

And lastly a typo:

* “subtilities” should probably be “subtleties”.

-- 
Ricardo

How to find a package file from substitute servers

[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 3.2.5-2
#+end_example

Then I'll install the package, and so on.

Unfortunately, I can't find a way to do the similar thing on GuixSD. I
know there is a “guix locate” to find files from store items, but
those store items must be already present in my gnu store.

So how to query such informations from a substitute server? Will Guix
plan to add a package file database in the future?

Thanks

Pan

guix installation why internet connection required?

[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 spam to ab...@vfemail.net

ONLY AT VFEmail! - Use our Metadata Mitigator to keep your email out of the 
NSA's hands!
$24.95 ONETIME Lifetime accounts with Privacy Features!  
15GB disk! No bandwidth quotas!

Commercial and Bulk Mail Options!  

Re: guix installation why internet connection required?

[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 minimum needed to customise the installation options and then 
downloads the packages when installing.

There's no option for installing offline because Guix currently doesn't offer 
ISO images that do that, even though it's possible.
There's previous discussion about this issue: 
https://lists.gnu.org/archive/html/guix-devel/2015-12/msg00452.html

Could you try this operating system definition? I think it should work(it adds 
XFCE and MATE).
Make a Guix checkout, and put the attached file in the gnu/system directory of 
the local Guix copy.
Then you can do `guix system image -t iso9660 gnu/system/offline-install.scm` 
to generate the offline installation ISO.

;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2014-2022 Ludovic Courtès 
;;; Copyright © 2015 Mark H Weaver 
;;; Copyright © 2016 Andreas Enge 
;;; Copyright © 2017 Marius Bakke 
;;; Copyright © 2017, 2019 Tobias Geerinckx-Rice 
;;; Copyright © 2020 Florian Pelz 
;;; Copyright © 2020 Efraim Flashner 
;;; Copyright © 2022 Josselin Poiret 
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see .

(define-module (gnu system install)
  #:use-module (gnu)
  #:use-module (gnu system)
  #:use-module (gnu system setuid)
  #:use-module (gnu bootloader u-boot)
  #:use-module (guix gexp)
  #:use-module (guix store)
  #:use-module (guix monads)
  #:use-module (guix modules)
  #:use-module ((guix packages) #:select (package-version supported-package?))
  #:use-module (guix platform)
  #:use-module ((guix store) #:select (%store-prefix))
  #:use-module (guix utils)
  #:use-module (gnu installer)
  #:use-module (gnu system locale)
  #:use-module (gnu services avahi)
  #:use-module (gnu services dbus)
  #:use-module (gnu services networking)
  #:use-module (gnu services shepherd)
  #:use-module (gnu services ssh)
  #:use-module (gnu packages admin)
  #:use-module (gnu packages bash)
  #:use-module (gnu packages bootloaders)
  #:use-module (gnu packages certs)
  #:use-module (gnu packages compression)
  #:use-module (gnu packages cryptsetup)
  #:use-module (gnu packages disk)
  #:use-module (gnu packages file-systems)
  #:use-module (gnu packages fonts)
  #:use-module (gnu packages fontutils)
  #:use-module (gnu packages guile)
  #:use-module (gnu packages linux)
  #:use-module (gnu packages package-management)
  #:use-module (gnu packages texinfo)
  #:use-module (gnu packages xorg)
  #:use-module (ice-9 match)
  #:use-module (srfi srfi-26)
  #:export (installation-os
a20-olinuxino-lime-installation-os
a20-olinuxino-lime2-emmc-installation-os
a20-olinuxino-micro-installation-os
bananapi-m2-ultra-installation-os
beaglebone-black-installation-os
mx6cuboxi-installation-os
nintendo-nes-classic-edition-installation-os
novena-installation-os
firefly-rk3399-installation-os
pine64-plus-installation-os
pinebook-installation-os
rock64-installation-os
rockpro64-installation-os
rk3399-puma-installation-os
wandboard-installation-os
os-with-u-boot))
(use-service-modules desktop sddm xorg)
(use-package-modules certs gnome)

;;; Commentary:
;;;
;;; This module provides an 'operating-system' definition for use on images
;;; for USB sticks etc., for the installation of the GNU system.
;;;
;;; Code:


;;;
;;; Documentation service.
;;;

(define %installation-node-names
  ;; Translated name of the "System Installation" node of the manual.  Ideally
  ;; we'd extract it from the 'guix-manual' gettext domain, but that one is
  ;; usually not available at run time, hence this hack.
  '(("de" . "Systeminstallation")
("en" . "System Installation")
("es" . "Instalación del sistema")
("fr" . "Installation du système")
("ru" . "Установка системы")))

(define (log-to-info tty user)
  "Return a script that spawns the Info reader on the right section of the
manual."
  (program-file "log-to-info"
#~(let* ((tty  (open-file #$(string-append

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

[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.com/raspberrypi/pico-sdk.git pico_sdk-src
$ cd ..
$ cmake .
$ make

so far, so good. it compiles for a while, but then it fails with:

[ 14%] Building CXX object 
CMakeFiles/pico_serprog.dir/_deps/pico_sdk-src/src/rp2_common/pico_standard_link/new_delete.cpp.obj
In file included from 
pico-serprog/_deps/pico_sdk-src/src/rp2_common/pico_standard_link/new_delete.cpp:11:0:
/gnu/store/7i9fw82x6hljy6sb4g10v2dl53l7pybl-profile/arm-none-eabi/include/c++/cstdlib:75:25:
 fatal error: stdlib.h: No such file or directory
 #include_next 

if i read this right, it tries to cross compile some C++ stuff, but a header 
file is missing.

$ guix locate stdlib.h
[...]
gcc-toolchain@13.2.0 
/gnu/store/dpfxpfyghkc19wz8jwaw31llhnvn8ngx-gcc-toolchain-13.2.0/include/stdlib.h
gcc-toolchain@11.3.0 
/gnu/store/5vn4pkf70ql7v1svrfknfkfsh4m3737h-gcc-toolchain-11.3.0/include/stdlib.h
clang-toolchain@15.0.7 
/gnu/store/6m5gi7l7bi93gnzm2j422q9wawq3p6al-clang-toolchain-15.0.7/include/stdlib.h
[...]

i.e. it's usually part of the gcc-toolchain package... but it's not part of the 
cross-compiling ones?

is that a bug in (gnu packages embedded)? shall i look into fixing it?

or am i the one who has invalid expectations?

-- 
• attila lendvai
• PGP: 963F 5D5F 45C7 DFCD 0A39
--
“If money is your hope for independence you will never have it. The only real 
security that a man will have in this world is a reserve of knowledge, 
experience, and ability.”
— Henry Ford (1863–1947)

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

[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-update))"
$ cd _deps
$ git clone https://github.com/raspberrypi/pico-sdk.git pico_sdk-src
$ cd ..
$ cmake .
$ make

so far, so good. it compiles for a while, but then it fails with:

[ 14%] Building CXX object 
CMakeFiles/pico_serprog.dir/_deps/pico_sdk-src/src/rp2_common/pico_standard_link/new_delete.cpp.obj
In file included from 
pico-serprog/_deps/pico_sdk-src/src/rp2_common/pico_standard_link/new_delete.cpp:11:0:
/gnu/store/7i9fw82x6hljy6sb4g10v2dl53l7pybl-profile/arm-none-eabi/include/c++/cstdlib:75:25:
 fatal error: stdlib.h: No such file or directory
  #include_next 

if i read this right, it tries to cross compile some C++ stuff, but a header 
file is missing.

$ guix locate stdlib.h
[...]
gcc-toolchain@13.2.0 
/gnu/store/dpfxpfyghkc19wz8jwaw31llhnvn8ngx-gcc-toolchain-13.2.0/include/stdlib.h
gcc-toolchain@11.3.0 
/gnu/store/5vn4pkf70ql7v1svrfknfkfsh4m3737h-gcc-toolchain-11.3.0/include/stdlib.h
clang-toolchain@15.0.7 
/gnu/store/6m5gi7l7bi93gnzm2j422q9wawq3p6al-clang-toolchain-15.0.7/include/stdlib.h
[...]

i.e. it's usually part of the gcc-toolchain package... but it's not part of the 
cross-compiling ones?

is that a bug in (gnu packages embedded)? shall i look into fixing it?

or am i the one who has invalid expectations?



Hi Attila,

I reported the very same problem some time ago. This should just work in 
Guix. I don't think your expectations are wrong.

It should work.

In fact, there is a proposal:

https://lists.gnu.org/archive/html/guix-devel/2023-10/msg00014.html

That claims to fix this.
We should take a look into it.

Thanks for raising a little bit more of awareness on this... I have some 
Picos at home and they are literally unusable at this point :)


Cheers,
Ekaitz