019
===

Date: June 21, 2020

## batch rename files
## with **bash**

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