Guarda y restaura las extensiones de GNOME-SHELL

Es sorprendentemente fácil. Solo necesitas copiar la carpeta .local/share/gnome-shell/extensions/ de tu directorio $ HOME. Para restaurar, simplemente pega el directorio /extensions/ nuevamente. Este tutorial está basado en GNOME 3.28 y explica con imágenes cómo hacerlo. Está basado sobre Ubuntu 18.04 LTS, pero encontrarás que es aplicable también a otros sistemas GNOME. 1. Ir a la…

Extensión `YouTube Search Provider` de Gnome Shell te permite reproducir vídeos de YouTube en VLC

YouTube Search Provider es una nueva extensión para Gnome Shell que se puede utilizar para buscar videos de YouTube directamente desde las actividades de Gnome Shell y reproducirlos con un reproductor de video de escritorio, como VLC. La extensión es útil si deseas buscar rápidamente vídeos de YouTube sin abrir un navegador web y reproducirlos…