!OHimLTKAXNbFrEoogf:matrix.org

Nix Milan

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

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


SenderMessageTime
6 Oct 2025
@telegram_32436951:t2bot.ioDavidnon so se si può fare qualche magia facendo un modulo wrapper07:47:47
@telegram_32436951:t2bot.ioDavidPuoi forzare il valore a il suo default07:36:03
@telegram_32436951:t2bot.ioDavidtecnicamente è vero, non si può fare unset, non c'è un valore per "undefined"07:39:46
@telegram_32436951:t2bot.ioDavidnel secondo in non vuoi fare "unset" del valore, vuoi proprio togliere una definition e non si può fare07:45:11
@telegram_73824637:t2bot.ioAndrea CiceriE comunque non lo usi da dentro il modulo stesso, devi prendere il punto fisso gia' computato07:53:16
@telegram_73824637:t2bot.ioAndrea CiceriMa e' computazionalmente pesante07:52:20
@telegram_32436951:t2bot.ioDavidnon si può fare il filter perché: - se fai il set alla stessa priorità diventa un infinite recursion - se fai il set a una priorità più alta non hai accesso alla versione calcolata delle altre priorità07:51:10
@telegram_73824637:t2bot.ioAndrea Ciceri esatto, stavo per scrivere la prima!
Forse puoi usare extendModules
07:51:58
@telegram_32436951:t2bot.ioDavido forse si, ma è una cosa così internal che non la userei comunque07:51:30
@telegram_176121111:t2bot.ioFrancescoAnzi il filter non so se sia possibile, ma mkForce sì07:50:02
@telegram_176121111:t2bot.ioFrancesco Nel secondo caso credo che tu possa andare a fare un filter sulla lista.
So che se vuoi forzare una lista ad essere vuota puoi usare mkForce tipo environment.defaultPackages = lib.mkForce [] ti toglie tutti i default packages
07:48:57
@telegram_176121111:t2bot.ioFrancescoEh sì hai ragione07:51:50
@telegram_73824637:t2bot.ioAndrea Ciceri
In reply to David
non so se si può fare qualche magia facendo un modulo wrapper
Alla fine ho sempre trovato un modo eh, pero' sarebbe bello ci fosse un modo meno hacky. C'e' anche l'opzione drastica di usare disableModules e copia/incollare una versione diversa del modulo
07:50:40

Show newer messages


Back to Room ListRoom Version: 10