| 12 Jun 2025 |
 gecko | In reply to @aciceri:nixos.dev
Opzioni in ordine sparso secondo me:
- scrivi un plugin che aggiunge una nuova builtin
- usi le IFD (soluzione piu' facile IMO, pero' devi accettare di avere IFD)
- scrivi l'helper in un linguaggio piu' maneggevole e poi la traspili in nix (per esempio usando purenix)
- patchi systemd permettendo di forzare il nome dell'interfaccia di rete (ok questa forse e' meglio di no)
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. | 12:12:15 |
| gecko | Sì però a quel punto probabilmente IFD è più efficiente :P. Compilo una volta, poi da lì e veloce e non devo far valutare robe arzigogolate a nix. | 12:46:34 |
| gecko | tbh patchare systemd non è una roba che escludo :D | 12:47:19 |
 David | Si assolutamente | 12:47:11 |
| gecko | * Sì però a quel punto probabilmente IFD è più efficiente :P. Compilo una volta, poi da lì e veloce è non devo far valutare robe arzigogolate a nix ogni volta. | 12:46:58 |
| gecko | Sìsì, però la prima volta lo devi compilare. Poi IIUC devi produrre una derivazione solo per farti sputare fuori un file con il nome dell'interfaccia di rete. | 12:53:17 |
| gecko | Poi provo ad upstreammarla solo per far bestemmiare tutti i sysadmin che si vedono i nomi delle interfacce cambiare. | 12:47:59 |
 Andrea Ciceri | Se lo ritrovo ti mando un esempio scemo che avevo costruito tempo fa | 13:02:30 |
| Andrea Ciceri | Comunque io sarei stracurioso di vedere la prima opzione come si implementa, ho visto che qua ci sono degli esempi | 12:51:33 |
| 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 |
