Installing cinnamon on Manjaro PBP [SOLVED]

[quixote]

This is for a user who just got a PBP (loves it ) and before has used LinuxMint Cinnamon since forever.

Since he's used to Cinnamon, he wanted that as a DE, and I thought, "Easy. Go to Add/Remove software, find cinnamon-desktop, and install."

Well, that part was easy. But it keeps booting into KDE. I simply cannot find where you tell the system to use cinnamon. There's no option to choose DE at login (that I could see), and no setting that can be changed after it's booted.

There's got to be a way, right?     Help, please.

[quixote]

The commands here worked.

Code:

$ sudo pacman -S cinnamon

$ sudo pacman -S cinnamon-wallpapers cinnamon-sounds gnome-terminal parcellite
                    ##cinnamon-wallpapers and cinnamon-sounds were not available at whichever repo was hit

$ sudo pacman -S lightdm lightdm-slick-greeter lightdm-settings
$ sudo systemctl enable lightdm.service --force

The only significant difference, as far as I can tell, to a CLI install I tried earlier is that this one had the --force switch on the last command.