diff --git a/mint/linux_mint.sh b/mint/linux_mint.sh index cecb4d2..efae62f 100755 --- a/mint/linux_mint.sh +++ b/mint/linux_mint.sh @@ -114,7 +114,7 @@ echo "\ e "Starte initiales Setup für Rechner mit frisch installiertem '${script_distro}' …" # Use APT proxy if available. -ping -c 1 apt-proxy > /dev/nul 2>&1 +ping -c 1 apt-proxy > /dev/null 2>&1 if [ "$?" -eq "0" ]; then e "Nutze APT-Proxy." echo 'Acquire::https::Proxy "http://apt-proxy:3142";' > /etc/apt/apt.conf.d/01aptproxy