More shellcheck ignores and fixes.

Author: eldering

icpc-wf/check-turboboost

@@ -1,12 +1,12 @@
 #!/bin/sh -e
 
-echo -n "checking no_turbo: "
+printf "checking no_turbo: "
 cat /sys/devices/system/cpu/intel_pstate/no_turbo
 
-echo -n "min perf pct: "
+printf "min perf pct: "
 cat /sys/devices/system/cpu/intel_pstate/min_perf_pct
 
-echo -n "max perf pct: "
+printf "max perf pct: "
 cat /sys/devices/system/cpu/intel_pstate/max_perf_pct
 
 echo "scaling governors: "

icpc-wf/comp_config

@@ -1,4 +1,6 @@
 #!/bin/bash
+#shellcheck disable=SC1003,SC2034,SC2086
+
 set -eu -o pipefail
 
 # Set credentials in ~/.netrc

icpc-wf/comp_scores

@@ -1,4 +1,5 @@
 #!/bin/sh -e
+# shellcheck disable=SC2002
 
 # Set credentials in ~/.netrc
 

icpc-wf/retrieve-judging.sh

@@ -2,10 +2,10 @@
 
 jid=$1
 
-judgehost=$(http https://domjudge/api/contests/test1/judgements/${jid} | grep judgehost | cut -d\" -f4 | cut -d- -f1,2)
+judgehost=$(http "https://domjudge/api/contests/test1/judgements/${jid}" | grep judgehost | cut -d\" -f4 | cut -d- -f1,2)
 
 dest="/tmp/j${jid}/"
 mkdir -p "$dest"
-scp -r $judgehost:/home/domjudge/domjudge/output/judgings/${judgehost}-0/endpoint-default/c*j${jid}/* "$dest" &> /dev/null
+scp -r "$judgehost:/home/domjudge/domjudge/output/judgings/${judgehost}-0/endpoint-default/c*j${jid}/*" "$dest" > /dev/null 2>&1
 
 echo "Succesfully copied package to $dest"