My favorite one-liners: some useful shell programs