La extensión del shell de GNOME está diseñada con el objetivo de potenciar los elementos de una interfaz GNOME. Puede funcionar para la gestión de ventanas o mientras alguien está iniciando una aplicación. El shell funciona para cargar numerosos JavaScript y CSS. Esto ofrece a los desarrolladores la oportunidad de realizar cambios y compartirlos con nuestros profesionales. De hecho, las características eliminan la necesidad de parchear el código fuente original y volver a compilarlo.
El sistema de extensión sirve como sustituto del sistema relacionado con ‘widgets’ y ‘applets’. Si bien el panel se puede agregar o personalizar con un conjunto de elementos, las personas pueden aprovechar el beneficio de hacer más. Por ejemplo, el desarrollador puede agregar un proveedor de búsqueda personalizado cuando surja la necesidad.
Tabla de contenido
- ¿Cómo crear una extensión?
- ¿Cómo escribir una extensión?
- ¿Cómo instalar las extensiones de GNOME Shell?
- ¿Cómo actualizar una extensión?
- ¿Cómo habilitar las extensiones?
- ¿Cómo depurar extensiones?
- Las mejores extensiones de GNOME
- Dash to Dock
- OpenWeather
- Configurador de actividades
- Cafeína
- Integración musical
¿Cómo crear una extensión?
Paso 1: Una vez que esté familiarizado con la consola de desarrollo del shell GNOME, debe abrir la pestaña con la lista de extensiones instaladas.
Paso 2: En caso de que haya un error, aparecerá en la pestaña ‘Errores’.
Paso 3: Puede crear la extensión de shell a partir de un creador interactivo que se ejecuta sin problemas en la terminal Unix. Como ejemplo, puede ver el script como se muestra a continuación.
gnome-shell-extension-tool –create-extension
En lo que respecta a la estructura, un desarrollador debe especificar el uuid que no es más que una dirección de correo electrónico ficticia y no la real que ha estado utilizando actualmente. En el futuro, el directorio se compone de metadata.json y extension.js. El primero aparecería algo así como un código como se muestra a continuación.
{
«Uuid»: «myextension@myname.example.com»,
«Nombre»: «Mi extensión genial»,
«Description»: «Hacer que las ventanas estallen en llamas»,
«Url»: » http://example.com/~myname/myextension «,
«Versión de shell»: [«3.2.2»]
}
Pero, cuando considera la extensión.js, la función ‘init’ se llamará una vez que se cargue el archivo Javascript. Debe cambiar las interfaces en la función ‘habilitar’ y eliminar funcionalidades en la función ‘deshabilitar’.
Entonces, típicamente, la extensión sería la siguiente
~/.local/share/gnome-shell/extensions/myextension@myname.example.com
extension.js
metadata.json
stylesheet.css
NOTA: Es opcional incluir ‘stylesheet.css’ dentro del directorio. Dependiendo de sus requisitos, puede o no agregar el archivo .css.
¿Cómo escribir una extensión?
Considere la posibilidad de crear una extensión con el nombre ‘helloworld’ con el UUID como helloworld@example.com y la descripción sea la extensión GNOME 3 Shell. La herramienta que es el script de Python crearía un subdirectorio en ~ / .local / share / gnome-shell / extensions y lo incluiría con tres archivos. Entonces, los archivos se verían como se menciona a continuación
$ cat metadata.json
{
«Versión de shell»: [«2.91.92»],
«Uuid»: «helloworld@example.com»,
«Nombre»: «hola mundo»,
«Description»: «Mi primera extensión de GNOME 3 Shell»
}
$ cat extension.js
//
// Código de extensión de muestra, hace que al hacer clic en el panel se muestre un mensaje
//
const St = importaciones.gi.St;
const Mainloop = imports.mainloop;
const Main = imports.ui.main;
function _showHello () {
let text = new St.Label ({style_class: ‘helloworld-label’, text: “¡Hola, mundo!”});
let monitor = global.get_primary_monitor ();
global.stage.add_actor (texto);
text.set_position (Math.floor (monitor.width / 2 – text.width / 2),
Math.floor (monitor.height / 2 – text.height / 2));
Mainloop.timeout_add (3000, function () {text.destroy ();});
}
// Pon tu código de inicialización de extensión aquí
function main () {
Main.panel.actor.reactive = true;
Main.panel.actor.connect (‘evento de liberación de botón’, _showHello);
}
$ gato stylesheet.css
/ * Ejemplo de hoja de estilo * /
.helloworld-label {
tamaño de fuente: 36px;
font-weight: negrita;
color: #ffffff;
color de fondo: rgba (10,10,10,0.7);
radio del borde: 5px;
}
Después de compilar el código, verá ‘¡Hola, mundo!’ proyectado en el escritorio.
¿Cómo instalar las extensiones de GNOME Shell?
Para instalar las extensiones, debe navegar a la página web de extensiones de Gnome-shell / https://extensions.gnome.org/
Paso 1: al hacer clic en la extensión, se le redirigirá a una página donde debe mencionar una breve descripción.
Paso 2: en la página web, debe encender el interruptor si ha decidido continuar con la instalación. Tan pronto como aparezca el mensaje en la pantalla, debe hacer clic en ‘Instalar’.
Finalmente, el enlace: https://extensions.gnome.org/local/ facilita la gestión de las extensiones instaladas. Una vez que vaya a la pestaña ‘extensiones instaladas’, puede deshabilitar la configuración o actualizar las extensiones en cualquier momento.
¿Cómo actualizar una extensión?
Una vez que vea la lista de extensiones, puede actualizar la extensión con la opción que se muestra a continuación.
Más tarde, al hacer clic en la opción similar a un engranaje, se le pedirá que solicite permiso para instalar una nueva extensión. Luego debe hacer clic en el botón ‘Instalar’ y esperar unos minutos mientras se carga la actualización.
¿Cómo habilitar las extensiones?
Las extensiones se pueden deshabilitar o habilitar mientras visita https://extensions.gnome.org/local/ . En caso de extensiones de todo el sistema, debe activarlas antes de usarlas. Puede tomar la ayuda de una herramienta de ajuste de GNOME o realizar la tarea con la clave GSettings que es org.gnome.shell.enabled-extensions. Para experimentar los efectos del código, el shell de GNOME debe recargarse con Alt + F2 seguido de presionar la ‘r’.
¿Cómo depurar extensiones?
Si está utilizando un sistema basado en systemd, la salida del registro se puede ver a través de journalctl / usr / bin / gnome-shell –f. Pero, para otros sistemas, los registros pueden estar escritos en ~ / .xsession-errors.
Las mejores extensiones de GNOME
Una vez que visite el sitio web que se actualiza con un repositorio, puede descubrir una colección de extensiones. En caso de que tenga la versión reciente, entonces debe activar el interruptor que está presente en la página de extensión. Si tiene algún problema, puede hacer clic en el enlace hacia la parte inferior de la página web e informar el error al instante. Entonces, aquí hay una lista de las mejores extensiones que siempre puede explorar.
Dash to Dock
Seguramente felicitaría a Dash to Dock una vez que comience a usarlo. La extensión ayuda a sacar el tablero de la vista general y transformarlo en un muelle. Eventualmente, sería muy sencillo iniciar aplicaciones y alternar entre varias ventanas y escritorios. En cuanto a la ubicación, puede colocar la base en la parte inferior o en uno de los lados de la pantalla de la computadora.
OpenWeather
Si desea conocer las condiciones climáticas, OpenWeather muestra el pronóstico en el escritorio capturando datos de openweathermap.org / forecast.io. La apariencia siempre se puede personalizar a medida que aparecen los ajustes en el panel.
Configurador de actividades
Si está pensando en un aspecto diferente para el botón Actividades y el panel, puede lograr la tarea a través del Configurador de actividades. Una vez que haga clic en un icono, puede iniciar la herramienta de preferencias de extensión de Gnome Shell. Lo mejor de todo es que obtienes más del escritorio con un conjunto de 20 opciones diferentes.
Cafeína
Cuando no está trabajando con la computadora, la cafeína evita que la computadora entre en modo de suspensión. Una vez que desactive el protector de pantalla, puede seleccionar «suspensión automática».
Integración musical
Una vez que esté con la extensión de shell de GNOME, puede traer la banda sonora a la barra. A medida que abre el archivo de audio, se agrega automáticamente a la lista. Más tarde, no tendrá que navegar por las carpetas, pero reproducir el archivo haciendo clic en el icono de extensión.
Espero que lo pases de maravilla jugando con las extensiones de shell de GNOME . Comparta el blog con sus compañeros en caso de que lo encuentre útil.