diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-18 08:15:26 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-18 08:16:43 +0200 |
| commit | ef99097d1f701b68ee7ff7ef24cb49e2f717c43e (patch) | |
| tree | 70419e1a7ffe4cfb3e07e08083a826d40fe95236 | |
| parent | dd78c162723e9a039e141ca799e52c1f0356e39f (diff) | |
| download | builder-ef99097d1f701b68ee7ff7ef24cb49e2f717c43e.tar.xz | |
bin/clean-git: actually set ionice level of "git gc"
| -rwxr-xr-x | bin/clean-git | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/clean-git b/bin/clean-git index 7b98d2f..d8f5166 100755 --- a/bin/clean-git +++ b/bin/clean-git @@ -12,6 +12,6 @@ for repo in ${repo_names}; do printf 'cleaning %s (%s) ...\n' \ "${repo}" \ "${repo_path}" - ionice git -C "${repo_path}" gc + ionice -n 7 git -C "${repo_path}" gc printf '... done\n' done |