diff options
| -rwxr-xr-x | src/git-run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/git-run b/src/git-run index 2b062e8..6d541d0 100755 --- a/src/git-run +++ b/src/git-run @@ -61,7 +61,7 @@ function verifyPermissions end # check for permissions - if not grep -q -E "^$repoDir:$currentUser:$permission\$" < $_REPO_PERMISSIONS_FILE + if not string match -r -q -- "^$repoDir:$currentUser:$permission\$" < $_REPO_PERMISSIONS_FILE emit log DENY no_permissions return 4 end |