I just updated this system from util-linux 2.37 to 2.38 (util-linux is a set of small, commonly-used command line programs) to find a small but distracting change in the behaviour of more(1), the venerable text file pager utility. For as long I can remember, the behaviour of more when run on a text file shorter… Continue reading A note on the paging behaviour of more(1) in util-linux 2.38
Tag: linux
Rosegarden v15.08
D. Michael McIntyre today announced the release of version 15.08 of Rosegarden, an audio and MIDI sequencer and music notation editor. Rosegarden is a slightly crazy piece of work. As a project it has existed for more than two decades, and the repository containing its current code was initialised in April 2000. It's not a… Continue reading Rosegarden v15.08
Replacing the GNOME Shell font in GNOME 3.16
[Edit: see the comment by Hugo Roy after the article, describing a much simpler, more "official" way to achieve this] When using Linux on a touchscreen laptop, I generally use the GNOME 3 desktop — logical design, big touch targets, good support for high-resolution displays, nice to look at. While I mostly approve of the… Continue reading Replacing the GNOME Shell font in GNOME 3.16
Linux
I write plenty of tedious posts about computers and technology, and I usually tag them according to what they're about. As I write this, the tag cloud for this blog looks like the picture on the left—Apple and Microsoft loom large, Nokia and Oracle get a look in, and there's no reference to Linux at… Continue reading Linux
The Breakfast Post 