diff options
| author | Adam Spragg <adam@spra.gg> | 2022-03-17 11:09:07 +0000 |
|---|---|---|
| committer | Adam Spragg <adam@spra.gg> | 2022-03-17 11:09:07 +0000 |
| commit | f9621d88100d2e3ce6b0061d0789401e57c4b1e8 (patch) | |
| tree | debfe6aea115ceba3b51ea8ece4a5620d1d4ad49 /lgpl-3.0.txt | |
| parent | 8ae543fa8d3fdf08bcc61dcb27cafd987344ada2 (diff) | |
Pipe download output through `cat` so it always succeeds
Pipe success is determined by the success of the last command in the
pipe, and `grep` indicates failure if no lines were selected. If we
don't download anything then `grep` fails, the pipe fails, and the
script - due to `set -e` - then fails/aborts at that point.
So pipe through `cat` last, which always succeeds.
Diffstat (limited to 'lgpl-3.0.txt')
0 files changed, 0 insertions, 0 deletions