!OHimLTKAXNbFrEoogf:matrix.org

Nix Milan

85 Members
https://milano.nix.pizza/6 Servers

Load older messages


SenderMessageTime
12 Jun 2025
@telegram_73824637:t2bot.ioAndrea 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
@telegram_73824637:t2bot.ioAndrea 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
@telegram_73824637:t2bot.ioAndrea 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
@telegram_73824637:t2bot.ioAndrea 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
@telegram_73824637:t2bot.ioAndrea CiceriWow11:06:55
@telegram_171307096:t2bot.ioAlbertoRedacted or Malformed Event11:05:51
14 Jun 2025
@telegram_165995843:t2bot.ioNonno FeliceMa a voi funziona lo screensharing su Gnome / Niri? A me come al solito non va qualcosa11:26:03
@telegram_165995843:t2bot.ioNonno 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
@telegram_73824637:t2bot.ioAndrea Cicericomunque lo screen sharing su wayland da ciclicamente problemi anche a me14:21:37
@telegram_73824637:t2bot.ioAndrea Ciceriinteressante, grazie del link, tengo d'occhio14:33:42
@telegram_165995843:t2bot.ioNonno 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
@telegram_165995843:t2bot.ioNonno 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
@telegram_5581649653:t2bot.ioLuca Engineer changed their profile picture.18:57:57
@telegram_5581649653:t2bot.ioLuca Engineerimage.jpeg
Download image.jpeg
18:43:13
@telegram_5581649653:t2bot.ioLuca EngineerBuonasera 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
@telegram_165995843:t2bot.ioNonno FeliceCinese, nello screen dentro allo screen inglese07:38:51
@telegram_32436951:t2bot.ioDavidnon so... nemmeno che lingua sia07:35:52
@telegram_165995843:t2bot.ioNonno Feliceimage.jpeg
Download image.jpeg
07:33:39
@telegram_165995843:t2bot.ioNonno Felice La costante ovunque è che alla gente fa cagare il mio font corsivo 07:33:39
@telegram_32436951:t2bot.ioDavidè solo corsivo07:42:47
@telegram_32436951:t2bot.ioDavidalmeno questo font ha una linea base costante e non è comic sans07:42:36
@telegram_165995843:t2bot.ioNonno FeliceQualcuno in questo gruppo l'ha equiparato a Comic Sans07:49:31
@telegram_32436951:t2bot.ioDavidah sai che forse mi hai risolto un problema con kwallet?08:07:42
@telegram_165995843:t2bot.ioNonno FeliceNon ho ancora fatto la PR su nixpkgs08:03:45
@telegram_165995843:t2bot.ioNonno FeliceDovrei aggiornarlo in realtà perché è tutto hardcodato08:04:30
@telegram_165995843:t2bot.ioNonno FeliceCioè intendi che eri nello stage 2 della fase di boot?08:09:00
@telegram_165995843:t2bot.ioNonno Felice Prima che raggiungesse il graphical.target? 08:09:08
@telegram_165995843:t2bot.ioNonno FeliceCi sta08:01:43
@telegram_73824637:t2bot.ioAndrea CiceriSarebbe appropriato08:02:35
@telegram_73824637:t2bot.ioAndrea 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

Show newer messages


Back to Room ListRoom Version: 10