Bug fix: another unescaped '$', also, $txtdir -> $TXTDIR

Signed-off-by: Izuru Yakumo <yakumo.izuru@chaotic.ninja>

git-svn-id: file:///srv/svn/repo/kosuzu/trunk@60 eb64cd80-c68d-6f47-b6a3-0ada418499da
This commit is contained in:
yakumo.izuru
2024-02-23 12:50:27 +00:00
parent 962d11f92b
commit 4858c48c0e
5 changed files with 9 additions and 9 deletions

View File

@@ -4,7 +4,7 @@ type record_t = Text.t * item_t
let extension = ".txt"
let txtdir () = try Sys.getenv "txtdir" with Not_found ->
let txtdir () = try Sys.getenv "TXTDIR" with Not_found ->
let share = Filename.concat (Sys.getenv "HOME") ".local/share/texts/" in
match Sys.is_directory share with true -> share
| false | exception (Sys_error _) -> "."