David Dworken ae5edb7d3e 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-08-11 12:29:36 -07: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-08-11 12:29:36 -07:00