quick manager of ssh servers for shell