Si usas Ubuntu con su escritorio Gnome, lo mismo te da por instalar extensiones desde la web Gnome Shell Extensions con el objetivo de adaptar a tus necesidades y gusto el sobrio entorno de escritorio que viene por defecto. Pero con tantas extensiones, lo mismo te resulta difícil aclararte.
Hay una aplicación muy útil para esto, se llama "Gestor de extensiones", y te enseño cómo instalarla en Ubuntu 22.04:
sudo apt update -y && sudo apt upgrade -y
sudo apt install gnome-shell-extension-manager
Después busca la aplicación "Gestor de extensiones", y podrás gestionar fácilmente todas tus extensiones y buscar otras nuevas.
¡Fácil, verdad?
__________________________________________________________
Fuente: SomeBooks.es
No hay comentarios:
Publicar un comentario