From e2eb3bd7983a27712d3e6795f552617ed9170a28 Mon Sep 17 00:00:00 2001 From: Arnaud Date: Fri, 25 Jul 2025 21:45:06 +0200 Subject: [PATCH] radian: .radian_history (#484) --- programs/radian.json | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 programs/radian.json diff --git a/programs/radian.json b/programs/radian.json new file mode 100644 index 0000000..0ad795c --- /dev/null +++ b/programs/radian.json @@ -0,0 +1,10 @@ +{ + "files": [ + { + "help": "Set this to _XDG_CONFIG_HOME/radian/profile_:\n```\noptions(radian.global_history_file = \"$XDG_STATE_HOME/radian/history\")\n```\nand move the file to _$XDG_STATE_HOME/radian/history_\n", + "movable": true, + "path": "$HOME/.radian_history" + } + ], + "name": "radian" +} \ No newline at end of file -- 2.47.3