diff options
| author |  Matthias Jaros <jarlucmat@mailbox.org> | 2026-08-03 15:01:09 +0200 |
|---|---|---|
| committer | Matthias Jaros <jarlucmat@mailbox.org> | 2026-08-03 15:01:09 +0200 |
| commit | a5f7be472ab80385ba9ea65c8d4684645a460ed2 (patch) | |
| tree | 12b23d1c64b771bdd1db30eef5f7cb881d0342e5 /src/git-run | |
| parent | 0abaa1e852165a7322b727fc952503cf962970ff (diff) | |
Removed usage of grep and use fish internal instead
Diffstat (limited to 'src/git-run')
| -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 |