I confirm what Samuel says. I (accidentially) wanted to remove a repository while, in a terminal, i had "sudo apt-get update" running, and the source manager crashed.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/820150 Title: software-properties-gtk crashed with AttributeError in remove_source(): 'NoneType' object has no attribute 'file' To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/software-properties/+bug/820150/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
