1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-11-08 19:46:05 +01:00

doc: surround name? with fancier characters

This commit is contained in:
Robert Helgesson 2019-09-01 21:28:40 +02:00
parent a28614e65d
commit a144c723a1
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
4 changed files with 5 additions and 5 deletions

View file

@ -38,7 +38,7 @@ in
home-manager = {
useUserPackages = mkEnableOption ''
installation of user packages through the
<option>users.users.&lt;name?&gt;.packages</option> option.
<option>users.users.name?.packages</option> option.
'';
backupFileExtension = mkOption {