diff options
Diffstat (limited to 'src/main/distrib/data')
| -rw-r--r-- | src/main/distrib/data/defaults.properties | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/main/distrib/data/defaults.properties b/src/main/distrib/data/defaults.properties index cc42d907..272eec08 100644 --- a/src/main/distrib/data/defaults.properties +++ b/src/main/distrib/data/defaults.properties @@ -112,6 +112,18 @@ git.sshPort = 29418 # RESTART REQUIRED git.sshBindInterface = +# Manually specify the hostname to use in advertised SSH repository urls. +# This may be useful in complex forwarding setups. +# +# SINCE 1.7.0 +git.sshDisplayHost = + +# Manually specify the port to use in advertised SSH repository urls. +# This may be useful in complex forwarding setups. +# +# SINCE 1.7.0 +git.sshDisplayPort = + # Specify the SSH key manager to use for retrieving, storing, and removing # SSH keys. # |