Thanks. I agree that it is only a minor annoyance. I am thinking of getting rid of network manager alltogether and do manual configuration with /etc/network/interfaces.
Thanks Ramakrishnan _______________________________________________ Stumpwm-devel mailing list Stumpwm-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/stumpwm-devel
