diff options
author | Patrick Dubroy <dubroy@google.com> | 2010-07-29 17:10:47 -0700 |
---|---|---|
committer | Shawn O. Pearce <sop@google.com> | 2010-08-06 17:05:04 -0700 |
commit | b715b148076ef589e806a98a183c8f4468f75cf6 (patch) | |
tree | 4de4a6d9f095ee933c6f5b8110e4719ac80a8504 | |
parent | 60829ba72fe81b1de1c1e9c6e0de486e9e90bddd (diff) | |
download | git-repo-b715b148076ef589e806a98a183c8f4468f75cf6.tar.gz |
Fix for handling values of EDITOR which contain a space.
The shell swallows the 0th arg, which was the filename. Simple fix
is to pass in an extra arg for the shell to swallow.
Change-Id: Iad6304ba9ccea6e7262ee06ef87d3dac57dbde81
-rw-r--r-- | editor.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -82,7 +82,7 @@ least one of these before using this command.""" | |||
82 | fd = None | 82 | fd = None |
83 | 83 | ||
84 | if re.compile("^.*[$ \t'].*$").match(editor): | 84 | if re.compile("^.*[$ \t'].*$").match(editor): |
85 | args = [editor + ' "$@"'] | 85 | args = [editor + ' "$@"', 'sh'] |
86 | shell = True | 86 | shell = True |
87 | else: | 87 | else: |
88 | args = [editor] | 88 | args = [editor] |