mantis This is tool for local file edit from remote host. Requirements Local machine ssh Remote machine sshfs HOW TO USE mantis.sh {REMOTE HOST NAME} Then, start a shell with mounted local current directory.