Как установить Gnome в качестве DE по умолчанию, если я уже использую Cinnamon?

ПРОЧИТАЙТЕ ОПИСАНИЕ НА https://launchpad.net/~xorg-edgers/+archive/ubuntu/ppa

Имейте в виду, что это может вызвать серьезные проблемы с зависимостями и может сломать вашу систему X-сервера, вынудив вас очистить весь ваш xserver-xorg-video. * !

В большинстве случаев будет достаточно резервных копий, см. Ответ @ Stephen, чтобы узнать, как это сделать. Но иногда этого недостаточно.

Запустите bash от имени пользователя root или станьте пользователем root ( sudo su ), а затем cd / tmp , чтобы вы не засоряли какой-либо каталог без надобности

Сначала нам нужно чтобы удовлетворить зависимость для xorg-video-abi-20; виртуальный пакет ubuntu для xserver-xorg-core . Однако этого пакета в debian нет, поэтому мы должны создать и установить его самостоятельно.

$ apt install equivs
$ equivs-control fake-xorg-video-abi-20
$ echo "Package: xorg-video-abi-20" >> fake-xorg-video-abi-20
$ echo "Depends: xserver-xorg-core" >> fake-xorg-video-abi-20
$ equivs-build fake-xorg-video-abi-20
$ dpkg -i xorg-video-abi-20*.deb

Затем отредактируйте исходный код apt, включив в него xorg-edgers ppa, и вручную установите его ключ gpg

$ gpg --ignore-time-conflict --no-options --no-default-keyring --keyring /etc/apt/trusted.gpg --keyserver keyserver.ubuntu.com --recv 165D673674A995B3E64BF0CF4F191A5A8844C542
$ echo deb http://ppa.launchpad.net/xorg-edgers/ppa/ubuntu zesty main > /etc/apt/sources.list.d/xorg-edgers.list
$ echo deb-src http://ppa.launchpad.net/xorg-edgers/ppa/ubuntu zesty main >> /etc/apt/sources.list.d/xorg-edgers.list

Затем просто запустите apt-get update !