Misc shell utilities that can be useful