Hace algún tiempo me di cuenta de que ha dejado de funcionar extensión de tiempo de la shell de GNOME-un me. Básicamente él no fue herirte versión actualizada de mi versión de GNOME Shell. Extraño, porque cuando actualicé la versión de actualización de shell de gnome. Luego le descargó, защото не е болка за умира и още по малко имам време да се ровя в такива дребни грешки. Pero hoy pensé que era tiempo de terminarlo y obtener čudesiâta. He actualizado a la última versión git-árbol, He instalado un nuevo – no se cambia. WTF. Entonces le pegué un make uninstall y aparece algo sorprendente, el add-in todavía fue desactivada no actualizado, y es deinstaliral. Básicamente, en este punto pensé que lo tengo instalado y en algunas otras extensiones carpeta y tan tan Cruz con. De ahora en adelante las cosas van en las siguientes situaciones. Encontrar el nombre de complemento, encontrar el add-in y eliminar. Tomando los nombres de los aditivos de instaliranete en el shell de gnome cuenta con el siguiente comando

gsettings get org.gnome.shell enabled-extensions

Por cierto a me di cuenta, че имам активирана добавка с името [email protected]. Diversión. Приятното е в случая това е името на папката на добавката и лесно може да се локира местоположението и с командата

find / -name '[email protected]'

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

Mejorado por Zemanta