diff options
author | Domen Kožar <domen@dev.si> | 2014-09-06 20:59:06 +0200 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2014-09-06 20:59:14 +0200 |
commit | 18d99044331fa99372fc67abf0451056087e5629 (patch) | |
tree | 7e2d0d03d6a2ea426b5b442674780e84c9fcbaa2 /nixos | |
parent | 0d357114129097b7978c79c371ff399fe85cd046 (diff) | |
download | nixlib-18d99044331fa99372fc67abf0451056087e5629.tar nixlib-18d99044331fa99372fc67abf0451056087e5629.tar.gz nixlib-18d99044331fa99372fc67abf0451056087e5629.tar.bz2 nixlib-18d99044331fa99372fc67abf0451056087e5629.tar.lz nixlib-18d99044331fa99372fc67abf0451056087e5629.tar.xz nixlib-18d99044331fa99372fc67abf0451056087e5629.tar.zst nixlib-18d99044331fa99372fc67abf0451056087e5629.zip |
nixos-option: fixes as suggested by @nbp
Diffstat (limited to 'nixos')
-rw-r--r-- | nixos/doc/manual/man-nixos-option.xml | 2 | ||||
-rw-r--r-- | nixos/modules/installer/tools/nixos-option.sh | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/nixos/doc/manual/man-nixos-option.xml b/nixos/doc/manual/man-nixos-option.xml index 554b29691805..2875336c67e5 100644 --- a/nixos/doc/manual/man-nixos-option.xml +++ b/nixos/doc/manual/man-nixos-option.xml @@ -71,7 +71,7 @@ Description: Whether to enable the GNU GRUB boot loader. Declared by: - "/path/to/nixpkgs/nixos/modules/system/boot/loader/grub/grub.nix" + "/nix/var/nix/profiles/per-user/root/channels/nixos/nixpkgs/nixos/modules/system/boot/loader/grub/grub.nix" Defined by: "/nix/var/nix/profiles/per-user/root/channels/nixos/nixpkgs/nixos/modules/system/boot/loader/grub/grub.nix" diff --git a/nixos/modules/installer/tools/nixos-option.sh b/nixos/modules/installer/tools/nixos-option.sh index d995787c76fe..96d09c3a6058 100644 --- a/nixos/modules/installer/tools/nixos-option.sh +++ b/nixos/modules/installer/tools/nixos-option.sh @@ -182,7 +182,9 @@ if test "$(evalOpt "_type" 2> /dev/null)" = '"option"'; then fi echo if example=$(evalOpt "example" - 2> /dev/null); then - echo "Example: $example" + echo "Example:" + echo "$example" + echo fi echo "Description:" echo |