dash-to-dock

Dash to Dock es una extensión de GNOME Shell que reubica el dash de la vista general de Activities al escritorio, presentándolo como un dock persistente. Según el README, esto facilita el lanzamiento de aplicaciones y acelera el cambio entre ventanas y escritorios, sin necesidad de abandonar la vista de escritorio. La extensión se distribuye a través de extensions.gnome.org, donde se puede instalar directamente. El proyecto también mantiene un sitio web con instrucciones de instalación adicionales e información. Para los usuarios que prefieren git o quieren probar la última versión de desarrollo, la extensión se puede instalar desde el código fuente. El repositorio incluye un Makefile, y la instalación coloca la extensión en el directorio personal del usuario. Después, se requiere recargar el Shell (Alt+F2, luego r, luego Enter bajo Xorg), mientras que bajo Wayland puede ser necesario cerrar sesión e iniciarla de nuevo. La extensión debe habilitarse luego mediante gnome-extensions-app o dconf. La compilación de la hoja de estilos requiere una implementación de SASS. Dash to Dock soporta dart-sass (sass), sassc y ruby-sass. El README recomienda dart-sass o sassc en lugar de ruby-sass, que está obsoleto. Por defecto, la compilación intenta usar sassc; esto se puede cambiar configurando la variable de entorno SASS a dart o ruby. Si falta msgfmt, se debe instalar el paquete gettext desde el repositorio de la distribución. Los informes de errores se dirigen al rastreador de problemas de GitHub del proyecto. La extensión se distribuye bajo la Licencia Pública General de GNU, versión 2 o posterior.