David Dworken 638912b230 Improve install.py script to attempt to detect when /tmp/ is noexec (#172) ... * Improve install.py script to attempt to detect when /tmp/ is noexec * Add test to install from python script at HEAD * Remove incorrect duplicated line * Delete the tmp hishtory-client download since it may be dropped in CWD rather than /tmp/		2024-02-09 17:41:52 -08:00
..
server	Allow override of serving port by env var (#160)	2023-12-23 17:22:26 -08:00
web	Improve install.py script to attempt to detect when /tmp/ is noexec (#172)	2024-02-09 17:41:52 -08:00