În primul rând, instalarea extensiilor Gnome Shell de pe site-ul web Gnome Extensions nu este acceptată implicit într-o instalare Ubuntu. Deci activați și faceți acest lucru pe dvs proprii responsabilitatea. Aceasta nu este o chestiune de „sistemul aparent neterminat”.
Multe extensii Gnome sunt făcute de voluntari ca tine și mine (sau mai bine zis, cei care oricum știu scripting java -;). Interfața cu care dezvoltatorii fac extensii este 1) prost documentată și 2) încă se modifică între versiuni. În consecință, o versiune mai nouă care funcționează pe o versiune mai nouă a Gnome Shell ar putea să nu mai funcționeze pe o versiune mai veche.
Cel mai bun pariu al tău este probabil să dezactivați actualizările automate de extensii. Dacă o extensie se rupe, eliminați-o și încercați să o reinstalați, totuși selectând în mod specific o „Versiune Shell” din meniul derulant.
Cea mai de încredere experiență cu extensiile Gnome Shell este să le instalați, de preferință, din sursele software Ubuntu, adică folosind software-ul Ubuntu sau prin linia de comandă (tastați sudo apt install gnome-shell-extension
atunci Tab pentru a completa automat pentru a vedea toate pachetele disponibile). Aceste versiuni au fost testate special pentru versiunea dvs. actuală Ubuntu.