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