Don't show SSH default port in download commands

If the default SSH port (22) is used there is no need to include it
into the download commands since all command-line utilities (e.g. ssh,
scp) will use this port by default.

Bug: Issue 4037
Change-Id: I023b884df1dd9599aaff927592e3ef1beb766f15
Signed-off-by: Edwin Kempin <>
2 files changed
tree: a19a35e057b323e30bd1ab69f7a34eaa7ae302b2
  1. src/
  2. .gitignore
  3. BUCK