How to delete a non-empty directory in Terminal
------------------------------------------------------
Use the below command :
sudo rm -rf folderName
(Will deleat any folder with sudo)
from: https://askubuntu.com/questions/217893/how-to-delete-a-non-empty-directory-in-terminal#217906

Origonal Creation date in Vivaldi: 14 April 2018 @ 17:13