We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 83b5d5d commit 3836592Copy full SHA for 3836592
1 file changed
run_tests.sh
@@ -18,7 +18,10 @@ base_dir=$(dirname $(realpath $0))
18
source ${base_dir}/init/eessi_defaults
19
20
echo "DEBUG"
21
-ping github.com
+getent hosts github.com
22
+nslookup github.com
23
+host github.com
24
+python -c "import socket; print(socket.gethostbyname('github.com'))"
25
ping nameserver 10.141.10.246
26
cat /etc/resolv.conf
27
0 commit comments