Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

docs: update description of uninstall command

Browse source 
The removal of Home Manager generations is now non-optional.
This commit is contained in:
Robert Helgesson 2023-03-12 23:48:32 +01:00
parent 24c1a6335e
commit 8d2b898532
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/man-home-manager.xml
View file

@ -346,8 +346,8 @@
</listitem>
<listitem>
<para>
optionally remove all Home Manager generations and make them
available for immediate garbage collection.
remove all Home Manager generations and make them available
for immediate garbage collection.
</para>
</listitem>
</itemizedlist>