Useful bash scripts

• piNet.sh - change hostname of raspberry pi and enable avahi

• resize.sh - script for resizing images

  • usage ./resize.sh x_px y_px
  • expectes a list of files in a file 'input.txt'

• convertToDxf.sh - script using inkscape to convert svg to dxf.

• restartXifNotRunning.sh - restart x on a raspberry pi from terminal if x is not running.

• xrandr-scripts: Set of different set-up scrips for monitors I use often.