Miscellaneous shell utilities