diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2024-08-17 00:01:46 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2024-08-17 00:01:51 +0200 |
| commit | d193694e3aa39ed135d399b4772e90b0cce027eb (patch) | |
| tree | c110c08ea67429e2cfcb0fe6fdafae0fcd184b98 | |
| parent | 05e142f9462ab87662dcbf484427f463c5ed2c55 (diff) | |
Be more verbose when doing PLZ sorting so that we know the progress
| -rw-r--r-- | postprocess.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/postprocess.sh b/postprocess.sh index bc70492..401a70f 100644 --- a/postprocess.sh +++ b/postprocess.sh | |||
| @@ -26,4 +26,7 @@ fi | |||
| 26 | 26 | ||
| 27 | cd work || exit 1 | 27 | cd work || exit 1 |
| 28 | 28 | ||
| 29 | for a in ????_Q?; do ./sort_plz $a; done | 29 | for a in ????_Q?; do |
| 30 | printf "Sorting files from issue %s\n" $a | ||
| 31 | ./sort_plz $a | ||
| 32 | done | ||