depot - monorepo for the virus lounge

Age	Commit message (Collapse)	Author	Files	Lines
2017-12-26	nix repl: use linenoiseKeyType to differentiate ^C and ^D	Will Dietz	1	-1/+10
	Fixes #1757.
2017-11-27	no "linenoiseFree" in linenoise-ng	Will Dietz	1	-1/+1

2017-10-24	nix: Respect -I, --arg, --argstr	Eelco Dolstra	1	-7/+6
	Also, random cleanup to argument handling.
2017-08-09	nix repl: Support printing floating-point numbers	Eelco Dolstra	1	-0/+4

2017-07-30	Replace Unicode quotes in user-facing strings by ASCII	Jörg Thalheim	1	-2/+2
	Relevant RFC: NixOS/rfcs#4 $ ag -l \| xargs sed -i -e "/\"/s/’/'/g;/\"/s/‘/'/g"
2017-07-20	nix-shell: Use bashInteractive from <nixpkgs>	Eelco Dolstra	1	-3/+3
	This adds about 0.1s to nix-shell runtime in the case where bashInteractive already exists. See discussion at https://github.com/NixOS/nixpkgs/issues/27493.
2017-05-10	Replace readline by linenoise	Eelco Dolstra	1	-105/+62
	Using linenoise avoids a license compatibility issue (#1356), is a lot smaller and doesn't pull in ncurses.
2017-04-28	Check for libreadline	Eelco Dolstra	1	-0/+4

2017-04-25	nix repl: Fix Ctrl-C	Eelco Dolstra	1	-0/+10

2017-04-25	Minor cleanup	Eelco Dolstra	1	-10/+7

2017-04-25	"using namespace std" considered harmful	Eelco Dolstra	1	-6/+5

2017-04-25	nix repl: Use $XDG_DATA_HOME for the readline history	Eelco Dolstra	1	-3/+4

2017-04-25	Make "nix repl" build	Eelco Dolstra	1	-32/+34

2017-04-25	Cleanup in preparation of merging nix-repl repo into nix repo	Eelco Dolstra	1	-0/+719