in PureScript sia più agevole, o comunque senza bloatare l'espressione

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)

IIUC

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.

Updated pkgs.

nix-repl> import (pkgs.runCommand "get-system" {} ''echo "\"$(uname -m)\"" > $out'')        
"x86_64"