depot - monorepo for the virus lounge

Age	Commit message (Collapse)	Author	Files	Lines
2019-07-25	Use $HOME instead of $USER	Matthew Bauer	1	-1/+1
	$USER/.nix-profile will not be a path. I think $HOME/.nix-profile was the origininal intent. /cc @Grahamc
2017-07-14	Rename PINCH_ME_IM_SILLY to ALLOW_PREEXISTING_INSTALLATION	Graham Christensen	1	-1/+1

2017-07-14	If there is no TTY, also skip verbose sudo messages	Graham Christensen	1	-0/+1

2017-07-14	Ensure PINCH_ME_IM_SILLY allows a /nix/store to stick around between builds	Graham Christensen	1	-1/+6
	Also output in the status report that the user is very silly
2017-07-14	Assume yes if we have no TTY	Graham Christensen	1	-2/+3
	Starve the TTY of input to ensure this works, but provide yes to the current installer to handle the current broken case.
2017-07-14	Cleanup and more specificity around set -e	Graham Christensen	1	-3/+5

2017-07-14	Only clean if the file exists	Graham Christensen	1	-2/+4

2017-07-14	Clean up nix hints from the old insstaller	Graham Christensen	1	-3/+7

2017-07-14	Run nix-build inside a fresh bash login	Graham Christensen	1	-1/+6

2017-07-14	chmod	Graham Christensen	1	-0/+0

2017-07-14	Test the installer	Graham Christensen	1	-0/+76