First, choose whether to convert the TIFF files to PNG or JPG.
Example: TIFF file of 155MB becomes 77.3MB PNG file or 15.8MB JPG file. The quality difference is most noticeable as you zoom in closer.
Open a terminal
Install ImageMagick
sudo apt-get install imagemagick
or
yum install imagemagick
# If the folder has a space in it, like "My Files", use a "\" character
# in front of the space:
cd ~/My\ Files
# If the folder has no space in it, like "My_Files" or "MyFiles":
cd ~/My_Files
cd ~/MyFiles
# The "~" character means "my home directory":
# In this example, if your username is "bob" then the command...
cd ~/my_folder
# ...would be equivalent to:
cd /home/bob/my_folder
convert my_map_001.tif my_map_001.jpg
convert my_map_001.tif my_map_001.png
cd ~/My\ Files
for f in *.tif; do echo "Converting $f from TIFF to JPG"; convert "$f" "$(basename "$f" .tif).jpg"; done
for f in *.tif; do echo "Converting $f from TIFF to PNG"; convert "$f" "$(basename "$f" .tif).png"; done