AHH's Linux terminal tools