!OHimLTKAXNbFrEoogf:matrix.org

Nix Milan

110 Members
https://milano.nix.pizza/7 Servers

You have reached the beginning of time (for this room).


SenderMessageTime
3 Nov 2025
@telegram_137632964:t2bot.ioGermanomhh, cos'è che vuoi fare? Non è molto chiara la domanda. mkOption è una roba definita da nixpkgs, quindi devi dichiararlo come input della tua flake per usarlo21:01:51
4 Nov 2025
@telegram_32436951:t2bot.ioDavid
In reply to gecko
Ma se io ho un flake, che non c'entra niente con NixOS, posso usare il module system? Tipo imports = [ ... ], mkOption e così via?
O mi serve tipo flake.parts?
Dipende cosa devi fare, ma se hai bisogno di definire packages o altra roba su più sistemi (x86, arm, etc) ti conviene flake.parts imho
07:39:06
@telegram_721172851:t2bot.iox71c9 A qualcuno di voi è capitato risolvere questo problema? Se sì come l'avete risolto? https://github.com/NixOS/nixpkgs/issues/355746 18:00:18
5 Nov 2025
@telegram_721172851:t2bot.iox71c9
In reply to x71c9
A qualcuno di voi è capitato risolvere questo problema? Se sì come l'avete risolto? https://github.com/NixOS/nixpkgs/issues/355746
Oppure in generale quando installate NixOS su una macchina remota con --target-host, come gestite l'utenza? Impostate l'utente con sudo NOPASSWD?
07:24:01
@telegram_521866002:t2bot.ioGiacomo Debidda Buongiorno. Qualcuno di voi e' riuscito a usare un monitor che ha bisogno dei driver DisplayLink su NixOS?

Io ho seguito questa guida ma ancora non riesco a far funzionare il mio monitor portatile AOC E1759FWU.
https://wiki.nixos.org/wiki/Displaylink

Sono su X11 e come desktop environment uso XFCE, e come display manager uso LightDM.

Nella guida mi sembra di aver capito che serve una configurazione particolare per il systemd service displaylink-server SOLO nel caso in cui uno usi KDE Plasma.

La mia configurazione attuale e' in questo NixOS module.
https://github.com/jackdbd/nix-config/blob/main/nixos/modules/displaylink/default.nix
08:25:14
@telegram_73824637:t2bot.ioAndrea CiceriInoltre sai che non sono nemmeno sicuro esista piu' in realta'?08:47:42

Show newer messages


Back to Room ListRoom Version: 10