Aquí hay una solución en el espíritu de esta respuesta . Esto funciona al menos para 3.12. La idea es exportar una lista de las extensiones que desea activar, luego escribir un script que las active en el arranque.
Obtener lista de extensiones
Primero, active las extensiones que desea activar. Luego generamos una lista con esos:
En la terminal ( Ctrl + Alt + T
), ejecuta
gsettings get org.gnome.shell enabled-extensions
Devuelve una lista con sus extensiones activas actualmente a la
['Bottom_Panel@rmy.pobox.com', 'impatience@gfxmonk.net']
Establecer extensiones
Para activar exactamente las extensiones en la lista, ejecute
gsettings set org.gnome.shell enabled-extensions ['extension_1', 'extension_2', 'extension_3']
pero con tu propia lista, naturalmente :)
Script para establecer extensiones en el arranque
Para automatizar en el arranque, cree un script que ejecute ese comando.
Vaya a, por ejemplo, su carpeta de inicio y cree un nuevo archivo vacío. Nómbrelo script_name.sh
(solo la extensión importa). Inicie el nombre del archivo con un punto final .
si desea que esté oculto.
En ese archivo, escribe
#!/bin/bash
gsettings set org.gnome.shell enabled-extensions ['extension_1', 'extension_2', 'extension_3']
Luego guarde el archivo, por supuesto :)
Haga que el archivo sea ejecutable, p. Ej. right click > Properties > Permissions > Check "Allow executing file as program"
, Alternativamente, cambie los permisos del terminal ejecutándose chmod ugo+x script_name.sh
en la carpeta del script.
Hazlo al iniciar el sistema (no sé cómo hacer esto ): en ~/.config/autostart/
crear un archivo llamado some_name2.desktop
y en él poner
[Desktop Entry]
Name=your_prefered_name_here
Exec=/home/your_user_name/.script_name.sh
# Terminal=false
Type=Application
Hidden=false
StartupNotify=false
Name[en_US]=your_prefered_name_here
La ruta posterior Exec=
debe ser donde está el script que creó en el paso 2. Nuevamente, guarde el archivo :)
Tal vez inmediatamente o de lo contrario después del arranque, debería ver el script en Gnome Tweak Tool en Aplicaciones de inicio. También debería ejecutarse al inicio.
Activando y Desactivando Extensiones
Si desea cambiar qué extensiones se ejecutan, debe volver a generar la lista, luego insertar la nueva lista en la ejecución del script.
Ultimas palabras
Espero que esto también funcione en 3.14.