From 87a897e0c9c52a2bd9d552527cb8b0240a26a18e Mon Sep 17 00:00:00 2001
From: Robert Helgesson <robert@rycee.net>
Date: Sun, 24 Feb 2019 20:39:51 +0100
Subject: [PATCH] docs: use <screen> for terminal interaction

(cherry picked from commit 1d8997633c685f8b432da812efe157fdd25bc49b)
---
 doc/installation.xml | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/doc/installation.xml b/doc/installation.xml
index ab24e8a4..835b6996 100644
--- a/doc/installation.xml
+++ b/doc/installation.xml
@@ -47,9 +47,9 @@
      Make sure you have a working Nix installation. If you are not using NixOS
      then it may be necessary to run
     </para>
-<programlisting>
-$ mkdir -m 0755 -p /nix/var/nix/{profiles,gcroots}/per-user/$USER
-</programlisting>
+<screen>
+<prompt>$</prompt> <userinput>mkdir -m 0755 -p /nix/var/nix/{profiles,gcroots}/per-user/$USER</userinput>
+</screen>
     <para>
      since Home Manager uses these directories to manage your profile
      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
      running
     </para>
-<programlisting>
-$ nix-channel --add https://github.com/rycee/home-manager/archive/master.tar.gz home-manager
-$ nix-channel --update
-</programlisting>
+<screen>
+<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>
     <para>
      if you are following Nixpkgs master or an unstable channel and
     </para>
-<programlisting>
-$ nix-channel --add https://github.com/rycee/home-manager/archive/release-18.09.tar.gz home-manager
-$ nix-channel --update
-</programlisting>
+<screen>
+<prompt>$</prompt> <userinput>nix-channel --add https://github.com/rycee/home-manager/archive/release-18.09.tar.gz home-manager</userinput>
+<prompt>$</prompt> <userinput>nix-channel --update</userinput>
+</screen>
     <para>
      if you follow a Nixpkgs version 18.09 channel.
     </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
      Manager generation:
     </para>
-<programlisting>
-$ nix-shell '&lt;home-manager&gt;' -A install
-</programlisting>
+<screen>
+<prompt>$</prompt> <userinput>nix-shell '&lt;home-manager&gt;' -A install</userinput>
+</screen>
     <para>
      Once finished, Home Manager should be active and available in your user
      environment.