Commit 678b319d authored by Matthias Putz's avatar Matthias Putz

added comment for fixing missing editor problem

parent f15d5442
...@@ -41,6 +41,7 @@ The editrights tools is provided as part of git-repo for Microsoft Windows. ...@@ -41,6 +41,7 @@ The editrights tools is provided as part of git-repo for Microsoft Windows.
* Add Repo to your path environment variable: %USERPROFILE%\bin; * Add Repo to your path environment variable: %USERPROFILE%\bin;
* Create a HOME environment variable that points to %USERPROFILE% (necessary for OpenSSH to find its .ssh directory). * Create a HOME environment variable that points to %USERPROFILE% (necessary for OpenSSH to find its .ssh directory).
* Create a GIT_EDITOR environment variable that has an editor executable as value. For this, first add the home directory of the editor executable to the path environment variable. GIT_EDITOR can than be set to "notepad++.exe", "gvim.exe", for example.
### Setup steps for Linux ### ### Setup steps for Linux ###
......
...@@ -518,7 +518,7 @@ def _Main(argv): ...@@ -518,7 +518,7 @@ def _Main(argv):
argv.insert(0, __file__) argv.insert(0, __file__)
subprocess.call(argv) subprocess.call(argv)
except OSError as e: except OSError as e:
print('fatal: cannot restart repo after upgrade', file=sys.stderr) print('fatal: cannot restart repo after upgrade (command %s)' % argv, file=sys.stderr)
print('fatal: %s' % e, file=sys.stderr) print('fatal: %s' % e, file=sys.stderr)
result = 128 result = 128
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment