1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2024-12-14 11:57:55 +00:00

info: use XDG_CACHE_HOME if defined

This commit is contained in:
Robert Helgesson 2017-08-26 12:10:14 +02:00
parent 1678548353
commit a30751464a
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -42,7 +42,7 @@ in
enable = mkEnableOption "GNU Info";
homeInfoDirLocation = mkOption {
default = "$HOME/.cache/info";
default = "\${XDG_CACHE_HOME:-$HOME/.cache}/info";
description = ''
Directory in which to store the info <filename>dir</filename>
file within your home.