70 commits

Author	SHA1	Message	Date
Ding Xiang Fei	d6ac762bf7	auto args on repl	2018-09-10 15:43:17 +08:00
Ivan Kozik	ec49ea28dc	repl: don't add trailing spaces to history lines	2018-08-07 03:59:34 +00:00
Will Dietz	6a24e49ba8	repl: use nix build for building instead of nix-store -r ... progress bar!	2018-06-23 07:56:26 -05:00
Eelco Dolstra	0629601da1	Move EvalState from the stack to the heap ... EvalState contains a few counters (e.g. nrValues) that increase quickly enough that they end up being interpreted as pointers by the garbage collector. Moving it to the heap makes them invisible to the garbage collector. This reduces the max RSS doing 100 evaluations of nixos.tests.firefox.x86_64-linux.drvPath from 455 MiB to 292 MiB. Note: ideally, allocations would be much further up in the 64-bit address space to reduce the odds of an integer being misinterpreted as a pointer. Maybe we can use some linker magic to move the .bss segment to a higher address.	2018-06-12 17:49:55 +02:00
Félix Baylac-Jacqué	a91fb422fe	nix repl: Fix multiline SIGINT handling. ... Fixes #2076	2018-04-16 16:09:30 +02:00
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)