From f3f7c5cc57bb6b0e357fa076ea0a2416122687c8 Mon Sep 17 00:00:00 2001 From: Robert Helgesson Date: Sun, 20 Jan 2019 18:01:22 +0100 Subject: [PATCH] doc: reformat XML files --- doc/installation.xml | 4 +-- doc/man-configuration.xml | 11 +++----- doc/man-home-manager.xml | 57 +++++++++++++++++++++++++-------------- doc/man-pages.xml | 6 ++--- doc/manual.xml | 7 ++--- 5 files changed, 49 insertions(+), 36 deletions(-) diff --git a/doc/installation.xml b/doc/installation.xml index ea3c49fa4..ab24e8a47 100644 --- a/doc/installation.xml +++ b/doc/installation.xml @@ -86,8 +86,8 @@ $ nix-channel --update if you follow a Nixpkgs version 18.09 channel. - On NixOS you may need to log out and back in for the channel to - become available. On non-NixOS you may have to add + On NixOS you may need to log out and back in for the channel to become + available. On non-NixOS you may have to add export NIX_PATH=$HOME/.nix-defexpr/channels${NIX_PATH:+:}$NIX_PATH diff --git a/doc/man-configuration.xml b/doc/man-configuration.xml index c36cf619d..835ba3213 100644 --- a/doc/man-configuration.xml +++ b/doc/man-configuration.xml @@ -7,22 +7,19 @@ Home Manager - home-configuration.nix Home Manager configuration specification - Description - The file ~/.config/nixpkgs/home.nix contains - the declarative specification of your Home Manager configuration. - The command home-manager takes this file and - realises the user environment configuration specified therein. + The file ~/.config/nixpkgs/home.nix contains the + declarative specification of your Home Manager configuration. The command + home-manager takes this file and realises the user + environment configuration specified therein. - Options diff --git a/doc/man-home-manager.xml b/doc/man-home-manager.xml index 79ae5b457..093c3ae1a 100644 --- a/doc/man-home-manager.xml +++ b/doc/man-home-manager.xml @@ -7,54 +7,71 @@ Home Manager - home-manager reconfigure a user environment - - home-manager - - - - - - - - + home-manager + + + + + + + + + + + + + + + + + + + + + + + + + + + - Description - This command updates the user environment so that it corresponds to the configuration - specified in ~/.config/nixpkgs/home.nix. + This command updates the user environment so that it corresponds to the + configuration specified in ~/.config/nixpkgs/home.nix. - Files - ~/.local/share/home-manager/news-read-ids + + ~/.local/share/home-manager/news-read-ids + - Identifiers of news items that have been shown. Can be deleted - to reset the read news indicator. + Identifiers of news items that have been shown. Can be deleted to reset + the read news indicator. - Bugs - Please report any bugs on the project issue tracker. diff --git a/doc/man-pages.xml b/doc/man-pages.xml index b94b01413..5c2d73c9b 100644 --- a/doc/man-pages.xml +++ b/doc/man-pages.xml @@ -3,12 +3,10 @@ xmlns:xi="http://www.w3.org/2001/XInclude"> Home Manager Reference Pages - - Home Manager contributors + Home Manager contributors Author - - 2017-2018Home Manager contributors + 2017-2018Home Manager contributors diff --git a/doc/manual.xml b/doc/manual.xml index 4eef98923..c4493254b 100644 --- a/doc/manual.xml +++ b/doc/manual.xml @@ -9,12 +9,13 @@ Preface - This manual will eventually describes how to install, use, and - extend Home Manager. + This manual will eventually describes how to install, use, and extend Home + Manager. If you encounter problems or bugs then please report them on the - Home Manager issue tracker. + Home Manager + issue tracker.