diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-04-25 18:56:29 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-04-25 18:56:29 +0200 |
commit | 5bd8795e1fa9255836fbbeab0a22f5038d92d53c (patch) | |
tree | 8df5a5f1c13b080f38e6a4e27f6ac64073133273 /src/libutil/util.hh | |
parent | 921a2aeb0537f34bc2b41e98e67a1c829321ee81 (diff) |
nix repl: Use $XDG_DATA_HOME for the readline history
Diffstat (limited to 'src/libutil/util.hh')
-rw-r--r-- | src/libutil/util.hh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/libutil/util.hh b/src/libutil/util.hh index ae40dcd4c..a9950f830 100644 --- a/src/libutil/util.hh +++ b/src/libutil/util.hh @@ -116,6 +116,9 @@ Path getCacheDir(); /* Return $XDG_CONFIG_HOME or $HOME/.config. */ Path getConfigDir(); +/* Return $XDG_DATA_HOME or $HOME/.local/share. */ +Path getDataDir(); + /* Create a directory and all its parents, if necessary. Returns the list of created directories, in order of creation. */ Paths createDirs(const Path & path); |