YOu know, I started using cinnamon recently and shutdown with cntrl-alt-del didn't work. So I finally decided to ask about it but thought I would google it first. FOund the solution! For those interested in cinnamon it isn't cntrl-alt-del but rather cntrl-alt-end.