make-dist.sh

   1 #!/bin/bash
   2
   3 mkdir -p tmp/hdmi-switcher
   4 mkdir dist
   5 make clean
   6 make
   7 cp hdmi-switcher tmp/hdmi-switcher
   8 cp start.sh tmp/hdmi-switcher
   9 cp update.sh tmp/hdmi-switcher
  10 cd tmp
  11 zip -r update hdmi-switcher
  12 cd ../
  13 mv tmp/update.zip dist
  14 rm -rf tmp
  15
  16 if [ -f "private.pem" ]
  17 then
  18     openssl dgst -sha256 -sign private.pem -out dist/update.sig dist/update.zip
  19 else
  20     echo "Warning: Unable to sign file. Private key not found."
  21 fi