Empty the Trash from Terminal

Here's a way to empty the trash from the terminal.

Trashed files simply sit in a hidden folder in your home directory. Delete it for good, and trash is emptied:

rm -rf ~/.local/share/Trash

Check your before/after disk usage with df.