Viewing profile — otron

The European Commission (EC) has been funding zenodo.org[0] for some years now, which is an open-source publishing platform[1] built on an open-source digital library framework[2].…

In what way is modal editing awful? Modal editors are the only solution I've come across to what I see as the problem with modern keyboards and editors: the inability to do everyth…

> - What do you hate about terminals? Having to use the mouse to select/highlight/copy output I didn't know I was interested in until after it'd been outputted. Being able to expor…

>The change I'd most like to see to Apple's Terminal.app is that when I want make an edit to the middle of a command line that has not been sent to the shell yet, I can use the poi…

I use the "mac" variant option for the US QWERTY layout (`setxkbmap us -variant mac`). This functions as a regular US QWERTY layout, but I've access to various "special" characters…