| 12 Jun 2025 |
 Andrea Ciceri | IIUC Si fai una derivazione "parametrica" (il parametro e' l'input che passerai al tuo programma che calcola l'hash) che butta in $out l'hash. Poi quando fai import di quella derivazione la valutazione si fermera e verra' realizzato il path. | 13:02:16 |
| Andrea Ciceri | In reply to gecko
Forzare il nome dell'interfaccia di rete non posso, è un constraint di lunghezza che mette il kernel, systemd stabilisce solo la politica per scegliere il nome abbreviato.
Certo potrei cambiare la funzione di hash in qualcosa supportato da builtins.nix (md5, sha1, sha256, sha512). Questo non sarebbe del tutto assurdo. Certo devo mantenermi la patch.
IFD è forse quel che cercavo, mi sembra la versione meno sbatti di scriversi un plugin. Leggo che IFD è bannato in nixpkgs, ma non mi riguarda molto. Sarebbe letteralmente gcc hash.c -o hash && ./hash long-interface-name.
Traspilare PureScript mi lascia un po' perplesso. Manipolare byte in nix è sbatti, non so quanto farlo in PureScript sia più agevole, o comunque senza bloatare l'espressione. Ri-rispondo di qua che il bridge non va come sempre: nella IFD non vuoi mettere la compilazione pero', ti basta eseguire il binario che calcola l'hash | 12:49:43 |
| Andrea Ciceri | E ho anche trovato questo tra dei miei vecchi messaggi: https://github.com/NixOS/nix/issues/4212
Potrebbe essere una ulteriore opzione | 13:14:23 |
| Andrea Ciceri | Trovato:
Updated pkgs.
nix-repl> import (pkgs.runCommand "get-system" {} ''echo "\"$(uname -m)\"" > $out'')
"x86_64"
Era un trick per avere builtins.currentSystem anche nei flake (con la valutazione pura in teoria non e' disponibile) | 13:08:29 |
| 13 Jun 2025 |
| Andrea Ciceri | Wow | 11:06:55 |
 Alberto | Redacted or Malformed Event | 11:05:51 |
| 14 Jun 2025 |
 Nonno Felice | Ma a voi funziona lo screensharing su Gnome / Niri? A me come al solito non va qualcosa | 11:26:03 |
| Nonno Felice | In reply to Nonno Felice
Ma a voi funziona lo screensharing su Gnome / Niri? A me come al solito non va qualcosa Niente ho capito il problema (ovvero io)
Non stavo fornendo una configurazione completa per il portal e quindi si spaccava tutto | 14:05:44 |
| Andrea Ciceri | comunque lo screen sharing su wayland da ciclicamente problemi anche a me | 14:21:37 |
| Andrea Ciceri | interessante, grazie del link, tengo d'occhio | 14:33:42 |
| Nonno Felice | In reply to Andrea Ciceri
comunque lo screen sharing su wayland da ciclicamente problemi anche a me Aveva ragione chi voleva ditchare Wayland | 14:27:45 |
| Nonno Felice | In reply to Andrea Ciceri
comunque lo screen sharing su wayland da ciclicamente problemi anche a me https://github.com/YaLTeR/niri/discussions/1781#discussioncomment-13449473
Tra l'altro il tizio di Niri vorrebbe implementare un portal apposito, vediamo come va (o non va) | 14:30:58 |
| 15 Jun 2025 |
|  Luca Engineer changed their profile picture. | 18:57:57 |
| Luca Engineer | 
Download image.jpeg | 18:43:13 |
| Luca Engineer | Buonasera a tutti!!! Seguendo i vostri consigli che mi avete dato durante il meetup sono riuscito a installare nix su Ubuntu LTS 🥳 | 18:43:13 |
| 17 Jun 2025 |
| Nonno Felice | Cinese, nello screen dentro allo screen inglese | 07:38:51 |
 David | non so... nemmeno che lingua sia | 07:35:52 |
| Nonno Felice | 
Download image.jpeg | 07:33:39 |
| Nonno Felice | La costante ovunque è che alla gente fa cagare il mio font corsivo | 07:33:39 |
| David | è solo corsivo | 07:42:47 |
| David | almeno questo font ha una linea base costante e non è comic sans | 07:42:36 |
| Nonno Felice | Qualcuno in questo gruppo l'ha equiparato a Comic Sans | 07:49:31 |
| David | ah sai che forse mi hai risolto un problema con kwallet? | 08:07:42 |
| Nonno Felice | Non ho ancora fatto la PR su nixpkgs | 08:03:45 |
| Nonno Felice | Dovrei aggiornarlo in realtà perché è tutto hardcodato | 08:04:30 |
| Nonno Felice | Cioè intendi che eri nello stage 2 della fase di boot? | 08:09:00 |
| Nonno Felice | Prima che raggiungesse il graphical.target? | 08:09:08 |
| Nonno Felice | Ci sta | 08:01:43 |
| Andrea Ciceri | Sarebbe appropriato | 08:02:35 |
| Andrea Ciceri | In reply to Nonno Felice
sent an image perche' non definisci proprio le opzioni nixos in cinese? E' utf-8, no? Dovresti poterlo fare | 07:57:34 |
