diff options
| author | Preston Pan <ret2pop@gmail.com> | 2025-01-16 18:24:01 -0800 |
|---|---|---|
| committer | Preston Pan <ret2pop@gmail.com> | 2025-01-16 18:24:01 -0800 |
| commit | 2a4a4e2c42257bb25789ec3be6bc5a88f0eab7b5 (patch) | |
| tree | b3cf871d924e1ba6e8a790dd6dc8910e03083865 /nix/modules/home | |
| parent | 6f86d8f277229c41a5d5f45e6a8e9dd36d4e16a8 (diff) | |
Diffstat (limited to 'nix/modules/home')
| -rw-r--r-- | nix/modules/home/default.nix | 6 | ||||
| -rw-r--r-- | nix/modules/home/mpd.nix | 4 |
2 files changed, 8 insertions, 2 deletions
diff --git a/nix/modules/home/default.nix b/nix/modules/home/default.nix index b2d3ef5..a38ee24 100644 --- a/nix/modules/home/default.nix +++ b/nix/modules/home/default.nix @@ -34,6 +34,7 @@ lang-openscad.enable = lib.mkEnableOption "Enables openscad language support"; lang-js.enable = lib.mkEnableOption "Enables javascript language support"; lang-nix.enable = lib.mkEnableOption "Enables nix language support"; + lang-coq.enable = lib.mkEnableOption "Enables coq language support"; crypto.enable = lib.mkEnableOption "Enables various cryptocurrency wallets"; art.enable = lib.mkEnableOption "Enables various art programs"; @@ -123,6 +124,10 @@ bash-language-server ]) else []) ++ + (if config.monorepo.profiles.lang-coq.enable then (with pkgs; [ + coq + ]) else []) + ++ (if config.monorepo.profiles.lang-nix.enable then (with pkgs; [ nil nixd @@ -161,6 +166,7 @@ lang-openscad.enable = lib.mkDefault true; lang-js.enable = lib.mkDefault true; lang-nix.enable = lib.mkDefault true; + lang-coq.enable = lib.mkDefault true; crypto.enable = lib.mkDefault true; art.enable = lib.mkDefault true; diff --git a/nix/modules/home/mpd.nix b/nix/modules/home/mpd.nix index 434387c..087b19a 100644 --- a/nix/modules/home/mpd.nix +++ b/nix/modules/home/mpd.nix @@ -21,8 +21,8 @@ # quality "5.0" # do not define if bitrate is defined bitrate "128000" # do not define if quality is defined format "48000:16:1" - always_on "yes" # prevent MPD from disconnecting all listeners when playback is stopped. - tags "yes" # httpd supports sending tags to listening streams. + always_on "yes" # prevent MPD from disconnecting all listeners when playback is stopped. + tags "yes" # httpd supports sending tags to listening streams. } ''; }; |