One idea: you can eliminate the "-p 8888" by putting that info in your $HOME/.ssh/config file. That will at least get rid of some spacing issues.
$ cat $HOME/.ssh/config
Host...
Type: Posts; User: gmargo; Keyword(s):
One idea: you can eliminate the "-p 8888" by putting that info in your $HOME/.ssh/config file. That will at least get rid of some spacing issues.
$ cat $HOME/.ssh/config
Host...