deheader.sh 227 B

123456789101112
  1. #!/usr/bin/env bash
  2. export LOGFILE2=logs/deheader2.log
  3. source ./tools/ci/scripts/init.sh
  4. export dir=$(pwd)
  5. rm deheader
  6. tools/ci/scripts/retry.sh wget "https://gitlab.com/4144/deheader/raw/master/deheader"
  7. chmod +x deheader