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 |
|