Preguntas etiquetadas con extension

¿Cuál es la mbstringextensión PHP y cuál es la mejor manera de instalarla en Ubuntu

¿Cómo instalo las extensiones de GNOME Shell? ¿Es posible actualizar, eliminar y administrar las

En Gnome Tweak Tool, no puedo cambiar el tema de Shell: Al pasar por encima de los espectáculos signo de exclamación la siguiente herramienta de punta: Shell user-theme extension not enabled. Estoy usando Ubuntu 14.10 y he instalado

Hay imágenes de animales que aparecen al azar en mi computadora. Cuando muevo el mouse sobre el animal, se convierte en un icono de espada, y cuando hago clic en él, el animal desaparece, pero después de unos minutos aparece otro animal. Creo que puede estar relacionado con el cromo, pero no estoy...

El shell de GNOME tiene la llamada función "hot corner", que abre el tablero si el mouse toca la esquina superior izquierda de la pantalla de un monitor. Quiero que esto esté deshabilitado. Solía ​​tener una extensión de shell GNOME, pero el repositorio ya no se encuentra: git clone...

¿Cómo puedo ocultar la barra superior en Gnome 3.28 Ubuntu 18.04? ¿Cómo se puede instalar la extensión

Estoy ejecutando Ubuntu Gnome 13.10 con Gnome 3.10. Mi problema es que cada vez que reinicio el sistema operativo, todas las extensiones de shell se desactivan. Lo extraño es que se mantienen sus configuraciones. Simplemente están apagados y tengo que volver a habilitarlos cada vez. ¿Cómo puedo...

Descripción del problema Realmente me gustan los espacios de trabajo 2 por 2 en Ubuntu 16.04. Pero parece que solo puedo mover el espacio de trabajo hacia arriba y hacia abajo. ¿Hay una manera de lograr esto? Lo que he intentado Intenté la extensión de GNOME llamada Workspace Grid (sugerido...

¿Dónde puedo encontrar el paquete de extensión de Virtualbox para 14.04.1 LTS (64 bits) Instalé virtualbox a través de synaptic. La versión que instaló es 4.3.10 Parece que no puedo encontrar un paquete de extensión correspondiente. Mi respaldo sería instalarlo directamente, pero tengo curiosidad...

¿Dónde se almacenan las extensiones una vez que se han instalado en

Digamos que he instalado sucesivamente mi conjunto de extensiones gnome-shell. Pero quiero desactivar / desactivar desde la línea de comandos. Esto solo es posible mediante la acción del mouse, AFAIK. Cómo puedo hacer eso

Estoy migrando de Unity a GNOME. Un elemento que me falta es un botón "Mostrar escritorio" (también conocido como "minimizar todas las ventanas") en el tablero. ¿Cómo puedo agregar esta funcionalidad al guión de GNOME (o al dock de Ubuntu en Ubuntu 17.10 y posterior), incluso si eso significa hacer...

Estoy ejecutando gnome-shell 3.4.1 en Ubuntu 12.04. He estado probando varias extensiones de http://extensions.gnome.org y ahora quiero eliminar por completo algunas, especialmente para que no ocupen espacio en Gnome Tweak Tool. ¿Es seguro eliminar la carpeta de extensión debajo...

Cuando creo un nuevo documento destinado a contener solo texto plano, Ubuntu no me obliga a agregar una extensión .txt a su nombre. Funciona realmente muy bien: gedit lo abre sin problemas, entendiendo muy bien que solo es texto. Los únicos dos argumentos pro que he encontrado a partir de ahora...

El gran muelle a la izquierda. En otras versiones, podrías escapar del lanzador de la unidad yendo a gnome, ¿y ahora qué? Los ajustes de Gnome no lo muestran como una extensión, a pesar de que se parece mucho al tablero para acoplar. Veo opciones de ocultación automática en la configuración,...

Sé cómo ir al sitio web https://extensions.gnome.org/ y descargar extensiones de gnome-shell, pero ahora necesito instalar algunas extensiones disponibles allí en una computadora sin ningún tipo de acceso a Internet. Está en una red corporativa interna y no hay forma de que pueda obtener acceso...

He estado queriendo desarrollar algunas extensiones de Gnome Shell ya que solo están en javascript, sin embargo, he estado buscando y prácticamente no hay documentación, en todas partes, la gente simplemente dice que use la documentación básica de Gnome, pero esto NO ayuda, puedo No encontré...

Ubuntu 17.10 presenta GNOME Shell con Ubuntu Dock (basado en la extensión Dash to Dock GNOME Shell) y le permite colocar el Dock en la parte inferior del escritorio: Sin embargo, no hay una manera fácil de mover el ícono Mostrar aplicaciones (que se muestra a la derecha) a la izquierda del Dock....

¿Cómo obtengo más información sobre por qué una extensión específica no funciona y me muestra "Error al cargar la extensión" cuando intento

El orden de los widgets de extensión de shell parece ser aleatorio, ¿cómo puedo cambiarlo? Quiero tener la información de fecha / hora a la izquierda, por ejemplo. Mi panel de