3 ms·
This is actually a general feature of the GNU readline library, which a lot of programmes including bash use. For instance, a lot of REPLs like ghci use it. ht
by 0db532a0 8y ago
This is actually a general feature of the GNU readline library, which a lot of programmes including bash use. For instance, a lot of REPLs like ghci use it.
https://linux.die.net/man/3/readline https://linux.die.net/man/3/readline
https://tiswww.cwru.edu/php/chet/readline/rltop.html https://tiswww.cwru.edu/php/chet/readline/rltop.html
- majewsky 8y agoAs does my favorite underappreciated Unix CLI tool, units(1). $ units --verbose You have: 1 mile * 20 pounds force You want: joule 1 mile * 20 pounds force = 143174.38 joule 1 mile * 20 pounds force = (1 / 6.98449e-06) joule
- 0db532a0 8y agoI had no idea of that command. Thanks.
- JetSpiegel 8y agoFor dumb terminals, you can also use rlwrap: https://linux.die.net/man/1/rlwrap https://linux.die.net/man/1/rlwrap