From 96d1b56cee6f34ba1d43440ce89ccd206de70449 Mon Sep 17 00:00:00 2001 From: ncfavier Date: Thu, 20 Jul 2023 17:52:55 +0000 Subject: [PATCH] deploy: 1443abd2696ec6bd6fb9701e6c26b277a27b4a3e --- options.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/options.html b/options.html index 20a21898..42b12122 100644 --- a/options.html +++ b/options.html @@ -8941,7 +8941,7 @@ boolean

Default: package

Default: pkgs.script-directory

Declared by:

<home-manager/modules/programs/script-directory.nix> -
programs.script-directory.settings

script-directory config, for options take a look at the documentation

Type: +

programs.script-directory.settings

script-directory config, for options take a look at the documentation

Type: attribute set of string

Default: { }

Example:

{
   SD_ROOT = "${config.home.homeDirectory}/.sd";