d2/ci
Anmol Sethi 6e52966b52
install.sh: Improve default $PREFIX behaviour
As before we default to /usr/local but now we switch to ~/.local if
/usr/local if not accessible instead of prompting for sudo. Instead
of having an exception for macOS/arm64.

Of course if a user wants to install in /usr/local anyway, they can
still pass --prefix /usr/local to force installation into /usr/local
and prompt for sudo.
2022-12-05 22:15:58 -08:00
..
release install.sh: Improve default $PREFIX behaviour 2022-12-05 22:15:58 -08:00
sub@153c562ec5 install.sh: Improve default $PREFIX behaviour 2022-12-05 22:15:58 -08:00
dev.sh ci/dev.sh: Add 2022-12-01 09:24:48 -08:00
e2ereport.sh Add e2ereport script 2022-11-04 17:01:35 -03:00
fmt.sh docs: Defend install.sh 2022-12-01 13:29:04 -08:00
gen.sh ci: Many more fixes 2022-11-20 03:34:01 -08:00
test.sh oss 2022-11-03 06:54:49 -07:00