ChanServ changed the topic of #nixos-fr to: https://nixos.org || Salon francographe de NixOS || https://logs.nix.samueldr.com/nixos-fr
MmeQuignon has quit [Quit: WeeChat 2.8]
lsix has joined #nixos-fr
nschoe has joined #nixos-fr
teto has joined #nixos-fr
alp has joined #nixos-fr
lsix has quit [Ping timeout: 256 seconds]
lsix has joined #nixos-fr
alp has quit [Remote host closed the connection]
alp has joined #nixos-fr
alp has quit [Ping timeout: 272 seconds]
alp has joined #nixos-fr
alp has quit [Remote host closed the connection]
alp has joined #nixos-fr
pirboazo has joined #nixos-fr
<pirboazo> Bonsoir
<pirboazo> Je cherche info sur Nixos sur ARM rpi3b
<pirboazo> Le raspberry PI boot sans probleme sur le kernel 5.4.44, la commande nixos-rebuild switch --upgrade se fini correctement , quoique ...
<pirboazo> du moins sans erreur..
lsix has quit [Ping timeout: 256 seconds]
<pirboazo> mais quand je regarde la liste des generations , il n'y a rien ...
<symphorien> ce que je vais dire n'est pas spécifique au rpi, mais c'est typique de quand le bootloader n'est pas configuré correctementsu
<symphorien> sur les ordinateurs normaux, si grub est configuré sur /dev/sda mais le le bios boote sur /dev/sdb
<symphorien> il peur rester un vieux grub sur /dev/sdb dont la configuration n'est jamais mise à jour
<pirboazo> J'ai suivi les infos trouvés sur les doc.
<pirboazo> boot.loader.grub.enable = false;
<pirboazo> boot.loader.generic-extlinux-compatible.enable = true;
<pirboazo> # Enables the generation of /boot/extlinux/extlinux.conf
<pirboazo> # NixOS wants to enable GRUB by default
<pirboazo> Et justement /boot/extlinux/extlinux.conf n'est pas pas mis à jour
<symphorien> est-ce que /boot est monté
<pirboazo> sur aarch64 il n'y a pas de point de montage /boot
<pirboazo> la doc le précise Starting with 19.09, the /boot folder is on the main bigger partition.
<symphorien> ah
<symphorien> bon ben pas d'idées alors ¯\_(ツ)_/¯
<pirboazo> moi non plus ;-(
lsix has joined #nixos-fr
lsix has quit [Client Quit]
PirBoazo1 has joined #nixos-fr
pirboazo has quit [Ping timeout: 272 seconds]
PirBoazo1 is now known as PirBoazo
<samueldr> symphorien: juste pour compléter, sur les plateformes aarch64 qui bootent avec u-boot, y'a pas de point de montage /boot, /boot est sur la partition principale, la partition FAT32 est qu'un "blob binaire sour forme de partition" qui sert à ce que le raspberry pi 3B puisse booter u-boot
<samueldr> (et c'est inclu par défaut)
<samueldr> mais pour le moment, le raspberry pi 4B, lui, n'utilise pas u-boot
<samueldr> alors là, c'est vrai, il faut mounter la partition FAT32 pour mettre à jour les infos de boot
<samueldr> (un foutoir, quoi, le raspberry pi)
<PirBoazo> Hello Samueldr , pb memoire, j'ai supprimé a generation des doc , est ça marche
<PirBoazo> c'est @cript0nauta qui m'a donner une aide.
<PirBoazo> Il trouve cela bizarre que cette génération de doc fasse planter nixos-rebuild
PirBoazo has left #nixos-fr [#nixos-fr]
<samueldr> c'est que pour générer la liste des options, dans le manuel, il faut évaluer toutes les options en mémoire
<samueldr> et y'a quoi, 2GB de mémoire sur un raspi3? une partie est déjà occupée par autres choses
teto has quit [Quit: WeeChat 2.8]
alp has quit [Ping timeout: 272 seconds]