A minimal ssh manager