From 5bd8795e1fa9255836fbbeab0a22f5038d92d53c Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Tue, 25 Apr 2017 18:56:29 +0200
Subject: nix repl: Use $XDG_DATA_HOME for the readline history

---
 src/libutil/util.cc | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/libutil/util.cc')

diff --git a/src/libutil/util.cc b/src/libutil/util.cc
index 88a2f752c023..026e493514ea 100644
--- a/src/libutil/util.cc
+++ b/src/libutil/util.cc
@@ -441,6 +441,18 @@ Path getConfigDir()
 }
 
 
+Path getDataDir()
+{
+    Path dataDir = getEnv("XDG_DATA_HOME");
+    if (dataDir.empty()) {
+        Path homeDir = getEnv("HOME");
+        if (homeDir.empty()) throw Error("$XDG_DATA_HOME and $HOME are not set");
+        dataDir = homeDir + "/.local/share";
+    }
+    return dataDir;
+}
+
+
 Paths createDirs(const Path & path)
 {
     Paths created;
-- 
cgit 1.4.1