feat: support jump host ports in SSH menu

Allow jump host definitions to include an explicit port in the form user@host:port. Default to port 22 when no port is provided and update the sample config and docs accordingly.
2026-06-02 20:26:25 +02:00
parent c29d0dcb5d
commit 69131534fe
4 changed files with 13 additions and 2 deletions
@@ -9,6 +9,5 @@
 - Documentation language: English.
 - Current task focus: keep README and memory aligned with the working script and sample configuration.
 - Known follow-up improvements:
-	- Jump server currently does not support an alternate port; this needs to be added.
 	- Group naming should avoid duplicating the file name and the YAML value.
 	- Each group should have default values.