diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-04-16 23:42:09 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-04-16 23:42:09 +0200 |
commit | 868a47df64f580102a985d6a69c31f680c5f8a90 (patch) | |
tree | f11735b928c6a3b13d03a04997628c69d184444b /gen | |
parent | 30d917bdc40e6a1a7b5da102485966c86be99cd9 (diff) |
Inline string substitution
Diffstat (limited to 'gen')
-rwxr-xr-x | gen/data-files | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gen/data-files b/gen/data-files index 947b042..568cdb5 100755 --- a/gen/data-files +++ b/gen/data-files @@ -36,7 +36,6 @@ readonly PATHS=' for path in $PATHS do - name="data/${path##*/}" - wget -q "$BASE/$path.txt" -O "$name" & + wget -q "$BASE/$path.txt" -O "data/${path##*/}" & done wait |