diff options
author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-06-15 21:03:30 +0200 |
---|---|---|
committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-06-15 21:08:02 +0200 |
commit | e07573432cfd501908a1cee3aa309de198c28e7a (patch) | |
tree | c58a05fcabfb2f9303df1202171d1790c7eb1360 /doc/guix.texi | |
parent | ec8e1c91773c756f78034abd94351259632fd1b3 (diff) |
doc: Clarify 'hurd-vm' and 'childhurd' names.
Suggested by Maxim Cournoyer via IRC.
* doc/guix.texi (The Hurd in a Virtual Machine): Explicitly mention that
hurd-vm and childhurd are two names for this service.
Diffstat (limited to 'doc/guix.texi')
-rw-r--r-- | doc/guix.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index d55eaff02c..ab44dd76ac 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -24637,7 +24637,8 @@ Return the name of @var{platform}---a string such as @code{"arm"}. Service @code{hurd-vm} provides support for running GNU/Hurd in a virtual machine (VM), a so-called ``Childhurd''. The virtual machine is -a Shepherd service that can be controlled with commands such as: +a Shepherd service that can be referred to by the names @code{hurd-vm} +and @code{childhurd} and be controlled with commands such as: @example herd start hurd-vm |