diff options
| author | Radosław Piliszek <radek@piliszek.it> | 2024-08-11 21:09:57 +0200 |
|---|---|---|
| committer | Radosław Piliszek <radek@piliszek.it> | 2024-08-14 07:55:05 +0200 |
| commit | 824dd6bc5d7ec0ff39d2d023e6f58c743e7690a1 (patch) | |
| tree | c7ddf6625a8aec326dd0ca1f3d79abda9a380bed /custom | |
| parent | Merge pull request 'chore(refactor): split repo_service.ForkRepository in two... (diff) | |
| download | forgejo-824dd6bc5d7ec0ff39d2d023e6f58c743e7690a1.tar.xz forgejo-824dd6bc5d7ec0ff39d2d023e6f58c743e7690a1.zip | |
git-grep: set timeout to 2s by default and allow configuring it
We need to shorten the timeout to bound effectively for
computation size. This protects against "too big" repos.
This also protects to some extent against too long lines
if kept to very low values (basically so that grep cannot run out
of memory beforehand).
Docs-PR: forgejo/docs#812
Diffstat (limited to 'custom')
| -rw-r--r-- | custom/conf/app.example.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/custom/conf/app.example.ini b/custom/conf/app.example.ini index 804440dfc9..5fe6de1e0f 100644 --- a/custom/conf/app.example.ini +++ b/custom/conf/app.example.ini @@ -732,6 +732,7 @@ LEVEL = Info ;CLONE = 300 ;PULL = 300 ;GC = 60 +;GREP = 2 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Git config options |