dt.iki.fi

40 posts are tagged "linux"

Using GNU bash? Forget date!

Since Version 4.2.0 GNU bash can print times in strftime format with printf. OK, the external date command can do a lot that bash's builtin cannot do, but for most use cases this is enough - and it's always better to use builtins, because if you're using bloated bash, at least take full advantage of...

An Open Letter To LinuxQuestions

...or maybe to myself. Introduction Two things first: 1. "This is a Linux Forum" - yes, it is. But wherever people come together to discuss whatever, the sociological, emotional and psychological aspects, and aspects of communication and language, are just as important as the (technical) t...

Dist-upgrade Debian stable from jessie to stretch

(before LTS support runs out) Disclaimer: This article is not a complete tutorial, it is simply a set of notes I took down following these instructions. Today I found out that the debian security team handles oldstable releases only for a year or so, after which the LTS team takes over, which is arg...

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...