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