019
━━━

Date: June 21, 2020

batch rename files
──────────────────

with bash
─────────

```
for f in *.jpeg; do
    mv -- "$f" "${f%.jpeg}.jpg"
done
```