Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
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 | |