From 18d99044331fa99372fc67abf0451056087e5629 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Domen=20Ko=C5=BEar?= Date: Sat, 6 Sep 2014 20:59:06 +0200 Subject: [PATCH] nixos-option: fixes as suggested by @nbp --- nixos/doc/manual/man-nixos-option.xml | 2 +- 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 554b2969180..2875336c67e 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 d995787c76f..96d09c3a605 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