GNU/Linux stuff

Here's some random GNU/Linux stuff which may be of use.