Kabir Oberai 836fca8daf Improve tmpdir management (#147) ...

- We now have a single tmpdir "root" that can be recreated at launch to
clean up old stragglers
- The location of this tmpdir root can be controlled by `XTL_TMPDIR` or
`TMPDIR`. In general the path is `$TMPDIR/sh.xtool`.

With this change it should be possible to `export XTL_TMPDIR=/var/tmp`
if `/tmp` doesn't have enough space, which fixes #23.

2025-08-10 01:43:09 -04:00

7.2 KiB

Raw Blame History

View Raw