Update SSH URLs to use port 2222 format

Use ssh://git@server:2222/user/repo.git format for non-standard
SSH ports in README and flake.nix examples.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
This commit is contained in:
2026-02-13 09:38:16 -05:00
parent f8b344d26d
commit 096070bffe
2 changed files with 10 additions and 10 deletions

View File

@@ -105,7 +105,7 @@
else
echo "Error: Cannot find setup script"
echo "Run from the repo directory, or clone it first:"
echo " git clone git@your-server:you/grapho.git"
echo " git clone ssh://git@your-server:2222/you/grapho.git"
exit 1
fi
fi