I used to have scripts like that, but eventually switched to ssh aliases. You can set up an alias for each machine in ~/.ssh/config with lines like this:
Host p1
HostName 192.168.1.123
Port 22
User pi
Then access with ssh p1. Slightly more typing, but avoids adding more commands to your $PATH. Also has the benefit of letting you use the same alias with other ssh-related commands like sftp.
I used to have scripts like that, but eventually switched to ssh aliases. You can set up an alias for each machine in
~/.ssh/configwith lines like this:Host p1 HostName 192.168.1.123 Port 22 User piThen access with
ssh p1. Slightly more typing, but avoids adding more commands to your $PATH. Also has the benefit of letting you use the same alias with other ssh-related commands like sftp.