diff options
| author | Robert Helgesson <robert@rycee.net> | 2020-05-08 00:01:58 +0200 |
|---|---|---|
| committer | Robert Helgesson <robert@rycee.net> | 2020-05-08 00:21:42 +0200 |
| commit | 2434984336d5f48928e926a07d7295be52cb1091 (patch) | |
| tree | 615211c96d1553506f2de41deca9acb135f18a31 /doc | |
| parent | 1afa5e257b71e1d27c6fc80ca38f344ea228bc1b (diff) | |
doc: fix highlighting of root commands
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/installation.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/installation.xml b/doc/installation.xml index c46c7cd5b89..ef720c606e9 100644 --- a/doc/installation.xml +++ b/doc/installation.xml @@ -159,7 +159,7 @@ $HOME/.nix-profile/etc/profile.d/hm-session-vars.sh a Home Manager channel, for example </para> -<screen> +<screen language="console"> <prompt>#</prompt> <userinput>nix-channel --add https://github.com/rycee/home-manager/archive/master.tar.gz home-manager</userinput> <prompt>#</prompt> <userinput>nix-channel --update</userinput> </screen> @@ -168,7 +168,7 @@ $HOME/.nix-profile/etc/profile.d/hm-session-vars.sh if you are following Nixpkgs master or an unstable channel and </para> -<screen> +<screen language="console"> <prompt>#</prompt> <userinput>nix-channel --add https://github.com/rycee/home-manager/archive/release-20.03.tar.gz home-manager</userinput> <prompt>#</prompt> <userinput>nix-channel --update</userinput> </screen> @@ -258,7 +258,7 @@ home-manager.useGlobalPkgs = true; a Home Manager channel, for example </para> -<screen> +<screen language="console"> <prompt>#</prompt> <userinput>nix-channel --add https://github.com/rycee/home-manager/archive/master.tar.gz home-manager</userinput> <prompt>#</prompt> <userinput>nix-channel --update</userinput> </screen> @@ -267,7 +267,7 @@ home-manager.useGlobalPkgs = true; if you are following Nixpkgs master or an unstable channel and </para> -<screen> +<screen language="console"> <prompt>#</prompt> <userinput>nix-channel --add https://github.com/rycee/home-manager/archive/release-20.03.tar.gz home-manager</userinput> <prompt>#</prompt> <userinput>nix-channel --update</userinput> </screen> |