Index: scripts/wifi_set_auto_assigned_ip.sh
===================================================================
diff -u -rd4988df80c5d03fe46e42c9563043ae281247278 -r01b9447a564c79628976078d442b8fa198adec97
--- scripts/wifi_set_auto_assigned_ip.sh	(.../wifi_set_auto_assigned_ip.sh)	(revision d4988df80c5d03fe46e42c9563043ae281247278)
+++ scripts/wifi_set_auto_assigned_ip.sh	(.../wifi_set_auto_assigned_ip.sh)	(revision 01b9447a564c79628976078d442b8fa198adec97)
@@ -24,4 +24,4 @@
 iface=$1
 
 echo "auto $iface
-iface $iface inet dhcp" >> /etc/network/interfaces
+iface $iface inet dhcp" | sudo tee -a /etc/network/interfaces > /dev/null