From 35abd7f7e8ccfa8ea0ba344bbb00441378481672 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sun, 6 Nov 2022 00:39:11 +0200 Subject: [PATCH] try $XDG_DATA_HOME before $HOME for REPL history directory --- src/main.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/main.c b/src/main.c index 43c08002..b8ba6601 100644 --- a/src/main.c +++ b/src/main.c @@ -743,7 +743,8 @@ int main(int argc, char* argv[]) { cbqn_init_replxx(); Replxx* replxx = replxx_init(); - char* history_dir = getenv("HOME"); + char* history_dir = getenv("XDG_DATA_HOME"); + if (!history_dir) history_dir = getenv("HOME"); if (!history_dir) history_dir = "."; B p1 = utf8Decode0(history_dir); B p2 = path_rel(p1, m_c8vec_0(".cbqn_repl_history"));