Radon Rosborough 9a548bb95f Fix purescript .cache ownership problem ... We actually don't want to pass in HOME via sudo, as some programs (such as the npm install script for purescript) will respect it and write root-owner .cache things into /home/riju (causing later failures).		2021-02-07 09:48:38 -08:00
..
build-composite-image.js	Shard composite image into 10 layers	2021-01-23 18:42:18 -08:00
ci-bootstrap.bash	Use smaller admin image for CI	2020-12-31 23:29:56 -08:00
ci-run.bash	Customizable compression levels in Makefile	2021-01-23 10:26:36 -08:00
config.js	Fix dependency error in plan-publish.js	2021-01-17 21:26:51 -08:00
deploy.bash	Factor out separate deploy script	2021-01-01 12:32:29 -08:00
docker-util.js	Start getting the incremental deploy working	2020-12-31 22:39:35 -08:00
generate-build-script.js	Fix purescript .cache ownership problem	2021-02-07 09:48:38 -08:00
hash-dockerfile.js	Fix small but very important bug	2020-12-31 22:51:51 -08:00
make-foreach.js	Eliminate unnecessary Make diagnostics	2021-01-21 20:45:48 -08:00
plan-publish.js	Fix bug in plan-publish.js	2021-01-17 21:39:18 -08:00
publish.bash	Miscellaneous work starting to support langs	2021-01-06 21:44:27 -08:00
util.js	More fixes for CI	2020-12-26 20:36:24 -08:00
write-all-build-scripts.js	Write trailing newlines again	2021-01-17 14:19:44 -08:00