How to resize an image through the terminal?

You have to install this acording to your system: https://imagemagick.org/script/download.php

convert myfigure.png -resize 200x100 myfigure.jpg

Or

convert -resize 50% myfigure.png myfigure.jpg

To resize multiple files, you can try the following command (as suggested by @test30)

find . -maxdepth 1 -iname "*.jpg" | xargs -L1 -I{} convert -resize 30% "{}" _resized/"{}"

Source: https://askubuntu.com/questions/271776/how-to-resize-an-image-through-the-terminal

How to change images from one format to another

You have to install this acording to your system: https://imagemagick.org/script/download.php

mogrify -format  tif *.PNG

With this command you can change all .PNG's in a folder from .png to tif. Be cautious .PNG =/= .png Linux/Unix systems are key sensitive.