deploy.sh

   1 #!/bin/sh
   2 # https://mro.name/xkcd936
   3 #
   4 cd "$(dirname "${0}")" || exit 1
   5
   6 make clean
   7 make || exit 1
   8
   9 readonly name="xkcd936"
  10 readonly ver="0.1"
  11
  12 readonly src="_build/default/bin/${name}.exe"
  13
  14 git_sha="$(sed -En '/git_sha/s/^.+"([0-9a-f]+)"/\1/gp' < lib/version.ml)"
  15 dst="${name}-v${ver}+${git_sha}-$(uname -s)-$(uname -m)"
  16 readonly git_sha dst
  17
  18 chmod u+w "${src}"
  19 strip "${src}"
  20 file "${src}"
  21
  22 readonly dir="/var/www/vhosts/dev.mro.name/pages/${name}"
  23 ssh c1 mkdir -p "${dir}" \
  24   && rsync -avPz "${src}" c1:"${dir}/${dst}" \
  25   && ssh c1 ls -Al "${dir}/${dst}" \
  26   && exit 0
  27
  28 echo rsync -avPz "$(pwd)/${src}" c1:"${dir}/${dst}"
  29 exit 1
  30