linux change desktop environment shortcut code example Example: how to switch between desktops ubuntu Ctrl+Alt+ArrowKey