script to enable/disable Ubuntu's desktop network manager