diff options
author | Thomas Kluyver <takowl@gmail.com> | 2018-06-09 18:39:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-09 18:39:18 +0200 |
commit | c694853403716ace2754cc1e039bf35ecdc17db6 (patch) | |
tree | 87d666c50d7d52bc053658f9c47c8a49319c7a97 | |
parent | ab7d99a670794fc2b0365440340b899a346422da (diff) | |
parent | 6118f8af2ed0b0b7e3baf9c813324be926241a4a (diff) | |
download | pexpect-c694853403716ace2754cc1e039bf35ecdc17db6.tar.gz |
Merge pull request #499 from Red-M/master
Bug fix for SSH config file option
-rw-r--r-- | pexpect/pxssh.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pexpect/pxssh.py b/pexpect/pxssh.py index ef2e911..f230e04 100644 --- a/pexpect/pxssh.py +++ b/pexpect/pxssh.py @@ -320,7 +320,7 @@ class pxssh (spawn): if ssh_config is not None: if spawn_local_ssh and not os.path.isfile(ssh_config): raise ExceptionPxssh('SSH config does not exist or is not a file.') - ssh_options = ssh_options + '-F ' + ssh_config + ssh_options = ssh_options + ' -F ' + ssh_config if port is not None: ssh_options = ssh_options + ' -p %s'%(str(port)) if ssh_key is not None: |