====== Bilder skalieren ======
31.7.2014

Um alle jpg-Datein in einem Ordner zu verkleinern/vergrößern:\\
  mkdir small
  for file in *.jpg; do convert $file -resize 800x800 ./small/$file; done
Voraussetzung: Die Dateinamen haben **keine Leerzeichen**. 
Die Bilder werden in die angegebene Größe (800x800) eingepasst, das **Seitenverhältnis bleibt erhalten**. 

Dazu braucht es das Paket **imagemagick**
  sudo apt-get install imagemagick