fix: mkForce nécessaire (mkImageMediaOverride = priorité 60, gagnait sur notre simple assignation)
This commit is contained in:
@@ -22,8 +22,21 @@ in
|
||||
# lecture seule). C'est CELLE-LÀ qui sature en
|
||||
# premier sur un système complet (Cinnamon +
|
||||
# Firefox + LibreOffice + VLC...), pas "/".
|
||||
fileSystems."/".options = [ "size=20%" ];
|
||||
fileSystems."/nix/.rw-store".options = [ "size=90%" ];
|
||||
#
|
||||
# netboot.nix définit ces deux options via mkImageMediaOverride, qui vaut
|
||||
# mkOverride 60 — une simple assignation ici (priorité 100 par défaut)
|
||||
# est donc entièrement ignorée, pas fusionnée (constaté : le premier
|
||||
# essai n'a eu aucun effet). Il faut lib.mkForce (priorité 50, plus
|
||||
# fort que 60) pour vraiment gagner — et comme mkForce REMPLACE toute la
|
||||
# liste plutôt que de la compléter, on remet mode=0755 dedans aussi.
|
||||
fileSystems."/".options = lib.mkForce [
|
||||
"mode=0755"
|
||||
"size=20%"
|
||||
];
|
||||
fileSystems."/nix/.rw-store".options = lib.mkForce [
|
||||
"mode=0755"
|
||||
"size=90%"
|
||||
];
|
||||
|
||||
# Certains PC du parc n'ont que 4 Go de RAM. Le disque cible ne peut pas
|
||||
# servir de secours (disko-install l'efface entièrement en une seule
|
||||
|
||||
Reference in New Issue
Block a user