Hi Clive,
> SGkgUmFscGgKClJhbiB0aGUgY29tbWFuZCBhbmQgaXQgZGVsZXRlZCB0aGUgZmlsZXMuwqDCoCBE
> Ran the command and it deleted the files. Did a complete re-boot and
> checked, it does not seem to have done much in reducing the partition
> file size.
No reboot required, either for that command or the suggestions below.
To measure the amount of disk free, a
df /
df /home
etc, as appropriate, naming the filesystem's mount point, before and
after the command will show the change.
> Should that command be run in that folder (.var/tmp) or did it not matter?
No, the command can be run anywhere and the space it cleared wouldn't
normally be freed on rebooting so it would have made some improvement,
even if it's too slight to notice.
> The notice is still coming up saying less than 430Mb free.
Have you tried the normal
sudo apt-get clean
sudo apt-get autoremove
to clean up downloaded Mint package files?
> If I can't find out what is happening then I'll re-install Mint 19.2
> files system into that partition and leave the '/Home' folder in the
> other partition.
It will likely just fill up again in time. Best to pursue the cause.
--
Cheers, Ralph.
--
Next meeting: Online, Jitsi, Tuesday, 2021-02-02 20:00
Check to whom you are replying
Meetings, mailing list, IRC, ... http://dorset.lug.org.uk
New thread, don't hijack: mailto:dorset@mailman.lug.org.uk
