Я сам пользователь Cinnamon и рекомендую переустановить Gnome по нескольким причинам. Во-первых, вы, вероятно, все еще захотите запустить Gnome Display Manager (удаление, вероятно, поэтому вы находитесь в командной строке.) Во-вторых, Cinnamon зависит от некоторых основных библиотек Gnome, поэтому вы не сильно экономите, удаляя Gnome. В-третьих, и что наиболее важно, вы, вероятно, столкнетесь с случайной проблемой после обновлений, а наличие установленных Gnome и Cinnamon позволяет переключаться между двумя средами, чтобы легче изолировать проблемы. После установки обоих устройств все, что вам нужно сделать, это щелкнуть значок шестеренки на экране входа диспетчера дисплеев и выбрать Cinnamon или Gnome в качестве DE. (это липкая настройка, поэтому вам нужно делать это только тогда, когда вы хотите измениться)
