May 27th 2018
Inspired by a forum thread
Make a choice of which shell you use, that's the "#/bin/..." at the top:
dash: very small & fast but
June 21st 2018
I feel the need to migrate all my github stuff to somewhere else. Because Microsoft is buying Github.
Gitlab does not seem to be that much
May 6th 2018
The man command uses a pager, that is responsible for pagination, but also search and highlight.
If your pager is less, you can search man pages with
December 11th 2016
I was having a hard time trying to find a man-to-html converter that does what I want: just properly translate what little formatting man uses. What
February 21st 2017
There's this one command whose output you need to look at again and again.
It's a long list of short words and whizzes by too fast and using your