Thanks for all the explanations on the commands & the advice! Unfortunately the disk that's full is the one mounted on /, and deleting files on /home didn't have any effect. I think I may have to go and get some IRL help with this, as it seems too complicated for me to deal with.