Sinds enige tijd merkte ik dat ik gestopt met werken gnome shell weer extensie-een ми. In het algemeen, fret niet bijgewerkte versie van mijn versie van GNOME Shell. Hoe vreemd het ook gaf me opfrissen versie van gnome shell. Toen ging ik, защото не е болка за умира и още по малко имам време да се ровя в такива дребни грешки. Maar vandaag heb ik dacht dat het was hoog tijd om deze te stoppen en mijn wonderen vast te stellen. Обнових git boom-a до последна версия, Ik installeerde een nieuwe – geen verandering. WTF. Toen raakte ik een make uninstall en iets schokkends te tonen, voeg nog werd uitgeschakeld door niet verlengd, en ik had verwijderd. Over het algemeen op dit punt Ik ging ervan uit dat het wordt geïnstalleerd in een andere map extensies en daarom maakt secties. Van nu af aan de dingen gaan in de volgende scenario's. De juiste naam van het toevoegingsmiddel, het vinden van het toevoegen en verwijderen. Het nemen van de namen van instaliranete additieven gnome shell standpunten met het volgende commando

gsettings get org.gnome.shell enabled-extensions

Waarvan de uitgang gerealiseerd, че имам активирана добавка с името [email protected]. plezier. Приятното е в случая това е името на папката на добавката и лесно може да се локира местоположението и с командата

find / -name '[email protected]'

Тук нещата вече станаха лесни. От изхода на find-a разбрах, че го има в 2 папаки. Един бърз rm -rf на 2-те папаки и всичко си дойде на местата. Една бърза инсталация на добавката и рестарт на gnome shell.

Versterkt door Zemanta