James Slagle 3469955cac 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 (cherry picked from commit 30741a22d7)		2018-11-19 21:42:24 +00:00
..
enable-ssh-admin.sh	Use user specified private key when deleting temp keys	2018-06-13 11:46:34 +00:00
get-occ-config.sh	Make $SSH_OPTIONS overrideable	2018-11-19 21:42:24 +00:00