James Slagle 2ff663bc87 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:34:23 +00: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-11-19 21:34:23 +00:00