docs: use <screen> for terminal interaction

(cherry picked from commit 1d8997633c)
This commit is contained in:
Robert Helgesson 2019-02-24 20:39:51 +01:00
parent fdda547e9e
commit 87a897e0c9
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -47,9 +47,9 @@
Make sure you have a working Nix installation. If you are not using NixOS Make sure you have a working Nix installation. If you are not using NixOS
then it may be necessary to run then it may be necessary to run
</para> </para>
<programlisting> <screen>
$ mkdir -m 0755 -p /nix/var/nix/{profiles,gcroots}/per-user/$USER <prompt>$</prompt> <userinput>mkdir -m 0755 -p /nix/var/nix/{profiles,gcroots}/per-user/$USER</userinput>
</programlisting> </screen>
<para> <para>
since Home Manager uses these directories to manage your profile since Home Manager uses these directories to manage your profile
generations. On NixOS these should already be available. generations. On NixOS these should already be available.
@ -71,17 +71,17 @@ $ mkdir -m 0755 -p /nix/var/nix/{profiles,gcroots}/per-user/$USER
Add the Home Manager channel that you wish to follow. This is done by Add the Home Manager channel that you wish to follow. This is done by
running running
</para> </para>
<programlisting> <screen>
$ nix-channel --add https://github.com/rycee/home-manager/archive/master.tar.gz home-manager <prompt>$</prompt> <userinput>nix-channel --add https://github.com/rycee/home-manager/archive/master.tar.gz home-manager</userinput>
$ nix-channel --update <prompt>$</prompt> <userinput>nix-channel --update</userinput>
</programlisting> </screen>
<para> <para>
if you are following Nixpkgs master or an unstable channel and if you are following Nixpkgs master or an unstable channel and
</para> </para>
<programlisting> <screen>
$ nix-channel --add https://github.com/rycee/home-manager/archive/release-18.09.tar.gz home-manager <prompt>$</prompt> <userinput>nix-channel --add https://github.com/rycee/home-manager/archive/release-18.09.tar.gz home-manager</userinput>
$ nix-channel --update <prompt>$</prompt> <userinput>nix-channel --update</userinput>
</programlisting> </screen>
<para> <para>
if you follow a Nixpkgs version 18.09 channel. if you follow a Nixpkgs version 18.09 channel.
</para> </para>
@ -100,9 +100,9 @@ export NIX_PATH=$HOME/.nix-defexpr/channels${NIX_PATH:+:}$NIX_PATH
Run the Home Manager installation command and create the first Home Run the Home Manager installation command and create the first Home
Manager generation: Manager generation:
</para> </para>
<programlisting> <screen>
$ nix-shell '&lt;home-manager&gt;' -A install <prompt>$</prompt> <userinput>nix-shell '&lt;home-manager&gt;' -A install</userinput>
</programlisting> </screen>
<para> <para>
Once finished, Home Manager should be active and available in your user Once finished, Home Manager should be active and available in your user
environment. environment.