This page lists software I use or have used. This page is a placeholder for now.
- Vim with various plugins for most text editing.
- Anki for spaced repetition
- ELinks, Links, or Lynx for lightweight browsing depending on what I want. ELinks has tabbed browsing which I find easy to use, but Links can show images with the
-gflag. Lynx seems to do correct checking for SSL certificates and additionally has
-localhost -dumpthat is suitable for producing plain text dumps of webpages.
- Exuberant Ctags
- Music On Console
- Ubuntu on laptop and Ubuntu and Debian on server
- MATE as a desktop environment
- Bash for my shell
- mutt for sending mail sometimes
- I use a modified version of Solarized Light as a colorscheme in my terminal. By default, Solarized has various shades of gray in its 16-color palette, which makes some console programs difficult to use; I therefore replace those colors with the equivalents from Tango. You can see the resulting values.
- IPython (now called Jupyter Qt console)
- rxvt-unicode a.k.a. urxvt No strong preference for the most part, except that I dislike it when the terminal emulator intercepts Alt key mappings, like
- PDF.js or MuPDF for most PDF files. For short PDFs, PDF.js suffices, but for longer PDFs I usually store a persistent copy and read them on MuPDF. This is partly because PDF.js has a bug where if I open a long PDF, then go do stuff in other tabs, then return to the PDF and scroll down, later pages just show a spinning wheel without actually loading. As for MuPDF, I like the simple aesthetic and speed, but I don’t care for the rectangular selection (which can only copy to the primary selection and not the clipboard?) and wish there was a tabbed interface and a way to show partial pages when scrolling down.
- Still looking for a good epub reader. I currently use FBReader but find the scrolling mechanism annoying.
- GNU userland, mainly because that’s what comes with Debian and Ubuntu and is what I’m most used to. I also install moreutils for
- LibreOffice Calc for converting between CSV and XLS. I know almost nothing about it, but it seems to do what I want.
- I often use
less(e.g. instead of
tail -fI use
- fzf, mostly for recalling commands in bash with CTRL-R.
- Emacs org mode
Programs in trial mode:
- “Choosing Software” by gwern