dt.iki.fi

5 posts are tagged "shell"

Migrating Git Repos

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 different. In the end, I chose two providers: framagit.org and notabug.org - just to be on the safe side. The migration itself happened via web interface and isn...

Shell Scripting For Speed

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 limited. you will have to use more external commands to accomplish things. bash: bulkier, takes longer to load, maybe slightly slower, but: you can accompl...

Search man pages with less: Unhighlight search results

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 /search string. It will then highlight the search results, and they can be traversed with n/N. The highlighting helps to find the search string, but i...

Arrange long Command Output in Columns

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 terminal's scroll function is cumbersome. Of course there's more or less, but that is cumbersome, too! Searching the web for a solution only leeds to more...

Convert man pages to HTML with the Ansi Html Adapter (aha)

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 I found (groff, troff, roffit, man2html) seemed to be either outdated (using inline- or even html-styling) or buggy or simply unable to preserve man's ...