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

Improve a few description fields

This commit is contained in:
Robert Helgesson 2017-01-15 20:03:55 +01:00
parent 6ec3026e51
commit 071e631648
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86
6 changed files with 18 additions and 11 deletions

View file

@ -21,15 +21,14 @@ in
xresources.properties = mkOption {
type = types.nullOr types.attrs;
default = null;
example = ''
{
"XTerm*faceName" = "dejavu sans mono";
"Emacs*toolBar" = 0;
}
'';
example = {
"XTerm*faceName" = "dejavu sans mono";
"Emacs*toolBar" = 0;
};
description = ''
X server resources that should be set. If null, then this
feature is disabled and no ~/.Xresources link is produced.
X server resources that should be set. If <code>null</code>,
then this feature is disabled and no
<filename>~/.Xresources</filename> link is produced.
'';
};
};