Estensioni in Ubuntu 22.04

[EagleBuntu]

Fino alla 20.04 gestivo le estensioni di Gnome da "Personalizzazioni", installato con gnome-tweaks

Nella 22.04 il look di "Personalizzazioni" è cambiato così

e non trovo più la voce estensioni. Che fine hanno fatto?

[caturen]

https://ubuntuhandbook.org/index.php/20 ... untu-2204/
https://linuxconfig.org/how-to-install- ... ux-desktop

[EagleBuntu]

quindi nella 22.04 le estensioni si sono "scorporate" dalle personalizzazioni e bisogna installarle a parte con

Codice: Seleziona tutto

sudo apt install gnome-shell-extension-manager
sudo apt install gnome-shell-extensions

?

dato che ho eseguito una avanzamento di versione da 20.04 a 22.04 con sudo do-release-upgrade, devo adesso fare qualcosa per eliminare eventuali "tracce" di quelle vecchie estensioni di pertinenza della 20.04 oppure ci ha già pensato il sistema, in fase di upgrade, a rimuovere tutto il necessario?