Jochen Schalanda b0dcb5ae05 Check that temporary directory exists before deleting ... Before deleting the temporary directory (`$TEMP_DIR`) at the end of the script, make sure that it exists so that we don't accidentally delete the user's home directory. Fixes #63		2020-03-15 01:53:30 +01:00
..
functions	Check that temporary directory exists before deleting	2020-03-15 01:53:30 +01:00
install	New architecture	2019-09-09 14:30:31 -04:00
list-all	New architecture	2019-09-09 14:30:31 -04:00
list-legacy-filenames	Add legacy filename support for jenv	2019-11-22 16:18:54 +01:00