android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2025-01-02 16:14:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix for handling values of EDITOR which contain a space.

Browse Source 
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
This commit is contained in:
Patrick Dubroy 2010-07-29 17:10:47 -07:00 committed by Shawn O. Pearce
parent 60829ba72f
commit b715b14807
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
editor.py
View File

@ -82,7 +82,7 @@ least one of these before using this command."""
fd = None fd = None
if re.compile("^.*[$ \t'].*$").match(editor): if re.compile("^.*[$ \t'].*$").match(editor):
args = [editor + ' "$@"'] args = [editor + ' "$@"', 'sh']
shell = True shell = True
else: else:
args = [editor] args = [editor]