Nix Milan | 116 Members | |
| https://milano.nix.pizza/ | 8 Servers |
| Sender | Message | Time |
|---|---|---|
| 9 Feb 2026 | ||
| Domanda interessante. Direi che se un modulo ha un'opzione e un modulo un'altra, la somma dei due dovrebbe essere un modulo con ambo le opzioni | 12:08:52 | |
| ma cmq non funziona, sicuramente per colpa dei booleani, poi magari esistono altri ostacoli | 12:09:17 | |
| se un modulo fissa x = true e un modulo x = false, non esiste un combinatore che vada bene di default, visto che || e && danno risultati opposti | 12:10:03 | |
| esatto, stavo scrivendolo or ora | 12:10:33 | |
| ma anche le opzioni numeriche, metti che hai un verbose level che ha 0,1,2 come valori possibili. Sommarli e ottenere un numero >2 non ha senso | 12:11:15 | |
| ecco la ragione per cui bisogna specificare una strategia di merge | 12:11:29 | |
| cmq nerd sniped anche io ora, grazie @amerocu :D | 12:11:48 | |
| Guarderò le repo meglio | 12:12:01 | |
in generale tutte le opzioni che hanno tipi che possono non mergiare. per esempio le liste mergiano sempre ma i booleani no (devi specificare la priorita con mkOverride) | 12:12:07 | |
Cmq a questo punto mi chiedo come fanno i moduli, posto che so che esistono lib.mkAfter e altro, di default immagino sostituiscano | 12:12:46 | |
| magari sulla base dell'import order | 12:12:53 | |
| Sorry, ho presupposto il tuo sistema di pinning 🙈 | 13:21:13 | |
| Quando dichiari una opzione, puoi impostare un valore di default | 13:22:08 | |
| 10 Feb 2026 | ||
| C'è un modo rapido per rifetchare un path in /nix/store? L'ho manomesso e ora rivoglio l'originale :P | 10:44:06 | |
| Redacted or Malformed Event | 10:47:25 | |
nix-store --repair-path | 10:47:46 | |
Oppure nix store repair per flakes • nix store repair ⟨./nix3-store-repair.md⟩ - repair store paths | 10:48:29 | |
dovrebbe refetchare se trova errori a quanto dice la documentazione nix shell nixpkgs#nix --command man nix-store-repair-path | 10:49:35 | |
volevo testarlo, come hai fatto a manomettere? qualcosa tipo sudo vim /nix/store? | 10:50:36 | |
* Oppure nix store repair per flakes | 10:50:51 | |
no perchè /nix/store read only non basta sudo | 11:06:07 | |
| Magari puoi rimontarlo come rw | 11:41:16 | |
| Appunto | 11:57:28 | |
| Io ho provato a patchare VsCodium per ore | 11:57:47 | |
mount -o remount,rw /nix/store | 12:40:27 | |
| Thanks! | 12:41:36 | |
| figurati :) | 16:23:56 | |
| ok grazie mille ora provo | 16:24:11 | |
funziona ottimo, l'unica cosa è che rimontare con rw te lo fa fare, ma poi rimontare con ro per ritornare indietro no. probabilemente per tutti i binari in esecuzione presenti nello store penso | 16:28:53 | |
comunque repair path funziona, ho provato così:modifica il file, poi lo riscarica da cache.nixos.org e via tutto pulito pero appunto quando faccio remount,ro mi da mount point busy | 16:30:22 | |