You're better off just deleting the file as opposed to emptying the contents of it, as there is nothing worth keeping in the file.
And you should use "gksudo gedit" as opposed to "sudo gedit". The latter can break permissions in your home folder (leading to more bug reports) ;) -- update-manager' package https://bugs.launchpad.net/bugs/304809 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
