Some command line tools for terminalIde