diff options
author | Mikael Blomstrand | 2018-10-26 17:51:16 +0200 |
---|---|---|
committer | Mikael Blomstrand | 2018-10-26 17:52:16 +0200 |
commit | e4a54ae0c7c0a3cb89306340a8e69f138a2a8a3d (patch) | |
tree | c4a97b5850f2b568a26f5e44f6469fd8cbae206d /gitextensions | |
parent | d7f5aa75f7aa3957912f2f8a8eed8cd50e9c44b8 (diff) | |
download | aur-gitextensions.tar.gz |
fix issue #5541, use /opt instead of /usr/share
Diffstat (limited to 'gitextensions')
-rw-r--r-- | gitextensions | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gitextensions b/gitextensions index c1176ff280e2..e5385822e508 100644 --- a/gitextensions +++ b/gitextensions @@ -1,3 +1,2 @@ #!/bin/sh -cd /usr/share/GitExtensions -mono GitExtensions.exe +exec mono /opt/GitExtensions/GitExtensions.exe |