View Single Post
Posts: 701 | Thanked: 585 times | Joined on Sep 2010 @ London, England
#141
Originally Posted by tomchiverton View Post
Reboot. Srsly - this frees space (or at least it did when PR1.2 needed installing).
Linux lets you delete files that are in use, but the space is not actually freed until they stop being used. So I guess what happened is you deleted some apps that were still being used (or hadn't closed properly), so you didn't see the extra space until after you had rebooted.