В моем случае это устройство cscotun0 (я использую Client Client Anyconect Secure Mobility Client), а не tun0.
Поэтому (на основе ответа Терри Ванга и комментария zipizap), если вы это сделаете не знаете имя устройства, вы можете использовать:
if [ "0" == `ifconfig | grep tun0 | wc -l` ]; then echo "n"; else echo "y"; fi
или, если знаете имя устройства:
if ifconfig cscotun0 &>/dev/null; then echo "y"; else echo "n"; fi
Вы можете попробовать загрузить ISO с помощью uGet, который является отличным внешним менеджером загрузки. http://ugetdm.com