From 6dbe0c2c23c0931dffa761724c6c1c4f3817173b Mon Sep 17 00:00:00 2001 From: Gabriel Arazas Date: Wed, 15 Nov 2023 06:56:12 +0800 Subject: [PATCH] profiles/dev: set conditional nix-index module for home-manager --- modules/home-manager/profiles/dev.nix | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/modules/home-manager/profiles/dev.nix b/modules/home-manager/profiles/dev.nix index f8e5203f..3971a74a 100644 --- a/modules/home-manager/profiles/dev.nix +++ b/modules/home-manager/profiles/dev.nix @@ -1,6 +1,6 @@ # Arsenal for development (which is rare nowadays). ;p # If you're looking for text editors, go to `./editors.nix`. -{ config, lib, pkgs, ... }: +{ config, lib, pkgs, osConfig ? { } ,... }: let cfg = config.profiles.dev; in { @@ -108,6 +108,9 @@ in { pane_frames = false; }; }; + + # Echolocation. + programs.nix-index.enable = lib.mkIf (osConfig ? programs.nix-index.enable -> !osConfig.programs.nix-index.enable) true; }) (lib.mkIf cfg.shell.enable {