Script eliminado accidentalmente en aplicaciones de inicio en GNOME Tweak Tool en ubuntu 18.04 y ahora el Dock de Ubuntu no se inicia al iniciar sesión. Solo obtengo la base de GNOME predeterminada. La opción para activar la base de Ubuntu en la sección de extensiones de Tweak Tool está atenuada, pero gnome-shell-extension-ubuntu-dock
está instalada.
¿Alguien puede decir cómo se llama ese guión? (Estoy casi seguro de que fue un script. Realmente no quiero reinstalar todos los paquetes predeterminados).