#!/bin/bash

while (! sudo netctl start wlan0-eduroam); do true; done

sudo killall dhcpcd
while (! sudo dhcpcd wlan0); do true; done


#sudo killall wpa_supplicant

#sudo wpa_supplicant -iwlan0 -c /etc/wpa_supplicant/wpa_supplicant.conf &

#sleep 10

#Ugly
#sudo ifconfig wlan0 10.9.3.208  netmask 255.255.252.0

#sudo ip route add 10.9.0.0/22 dev wlan0 
#sudo ip route add default via 10.9.0.1 dev wlan0