Some miscellaneous Linux tools