How to uninstall cinnamon from Ubuntu 20.04

I installed cinnamon in Ubuntu 20.04 to give it a try.
Later I tried to uninstall from your page at >here<
‘sudo apt-get install ppa-purge’
got this message;

‘PPA to be removed: embrosyn cinnamon
Warning: Could not find package list for PPA: embrosyn cinnamon’

'sudo ppa-purge ppa:embrosyn/cinnamon ’ gave the same result.

Your advice would be appreciated.


Could you check in Software & Updates, under Other Software tab if ppa:embrosyn/cinnamon is included?


Thank you for your help ppa:embrosyn/cinnamon is not included in Other Software nor is embrosyn +/- cinnamon listed in Synaptic.

It only indicates that you have already removed it.