15 commits

Author	SHA1	Message	Date
Eelco Dolstra	1839a5542a	Fix #2057	2018-04-11 11:42:17 +02:00
Will Dietz	bd17ccf1d8	nix repl: use linenoiseKeyType to differentiate ^C and ^D ... Fixes #1757.	2017-12-26 19:25:50 -06:00
Will Dietz	964349e44d	no "linenoiseFree" in linenoise-ng	2017-11-27 18:30:05 -06:00
Eelco Dolstra	0d59f1ca49	nix: Respect -I, --arg, --argstr ... Also, random cleanup to argument handling.	2017-10-24 12:58:34 +02:00
Eelco Dolstra	c6184dec6c	nix repl: Support printing floating-point numbers	2017-08-09 15:17:29 +02:00
Jörg Thalheim	2fd8f8bb99	Replace Unicode quotes in user-facing strings by ASCII ... Relevant RFC: NixOS/rfcs#4 $ ag -l | xargs sed -i -e "/\"/s/’/'/g;/\"/s/‘/'/g"	2017-07-30 12:32:45 +01:00
Eelco Dolstra	c94f3d5575	nix-shell: Use bashInteractive from <nixpkgs> ... 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-07-20 13:50:25 +02:00
Eelco Dolstra	c5f23f10a8	Replace readline by linenoise ... Using linenoise avoids a license compatibility issue (#1356), is a lot smaller and doesn't pull in ncurses.	2017-05-10 18:37:42 +02:00
Eelco Dolstra	73bba12d8b	Check for libreadline	2017-04-28 16:53:56 +02:00
Eelco Dolstra	6734c18c99	nix repl: Fix Ctrl-C	2017-04-25 19:19:48 +02:00
Eelco Dolstra	23aa1619da	Minor cleanup	2017-04-25 19:10:47 +02:00
Eelco Dolstra	536f061765	"using namespace std" considered harmful	2017-04-25 18:58:02 +02:00
Eelco Dolstra	5bd8795e1f	nix repl: Use $XDG_DATA_HOME for the readline history	2017-04-25 18:56:29 +02:00
Eelco Dolstra	921a2aeb05	Make "nix repl" build	2017-04-25 18:48:40 +02:00
Eelco Dolstra	40daf0d800	Cleanup in preparation of merging nix-repl repo into nix repo	2017-04-25 18:13:23 +02:00

Renamed from nix-repl.cc (Browse further)