I know I can ssh directly into my servers in the terminal, but it’s a pain to manage that when I have several machines with different credentials and memorizing up addresses. Is there an easier way to do it via the terminal, or is there another software like putty on windows that could manage all of my connections for me?