tree 1e7a7555b3c2cf9e764c9a62fe02e31b6667f27e
parent 8c4636270be67625cc27ce356f6da1a11e245069
author Philip Zeyliger <philip@bold.dev> 1747452328 -0700
committer Philip Zeyliger <philip@bold.dev> 1747452366 -0700

docker: use consistent ephemeral port for SSH

I sense that some versions of docker interpret -p 22 as 22:22
and some as 0:22. We already use 0:80 for HTTP, so let's do the same
for SSH.

This is an optimistic fix for a user issue.