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...