Misc tools for use in command shells