James Slagle 30741a22d7 Make $SSH_OPTIONS overrideable ... In some cases, it may be desireable to override $SSH_OPTIONS as used by the deployed-server get-occ-config.sh script. Particularly in environments that wish to remove -tt. This patches makes it so that the value can be overridden via the shell. Change-Id: I14ab6765b3e55f602bb8ae56a313fce9812e3f59 Closes-Bug: #1800834		2018-10-31 09:07:15 -04:00
..
enable-ssh-admin.sh	Use user specified private key when deleting temp keys	2018-05-29 08:53:19 -04:00
get-occ-config.sh	Make $SSH_OPTIONS overrideable	2018-10-31 09:07:15 -04:00