Como vengo contándote, en el podcast, durante las últimas semanas, lo cierto es que andaba muy metido en las actualizaciones de las diferentes extensiones para GNOME Shell que he implementado en los últimos tiempos. Y de ahí el título del podcast de hoy. No se trata tanto de que yo me hay puesto a instalar extensiones de GNOME Shell a mansalva, sino mas bien que me he dedicado a actualizarlas como si no hubiera un mañana.
Todo se ha visto desencadenado por una consulta referente a como personalizar la fecha y hora que aparece en el panel de Ubuntu. Puede ser que exista alguna otra manera de hacerlo, pero a bote pronto, lo más sencillo fue instalar una extensión que permitía hacerlo sin demasiadas complicaciones o si…
Y es que esta extensión necesitaba, que ejecutaras una instrucción en el terminal para llevar a efecto el cambio de fecha y hora. Y esto es algo, que no me termina de convencer, por lo que te comentaré a lo largo del podcast.
Así que, en este nuevo episodio del podcast te voy a hablar de extensiones para Ubuntu, mejor dicho, extensiones para GNOME Shell.
Extensionitis en Ubuntu o extensiones para GNOME Shell Por partes Lo que me gusta del escritorio de Ubuntu, pese a lo que pueda decir Yoyo, es que viene listo para trabajar… Al menos para mi. En cuanto al aspecto estético, a penas lo modifico. Si quieres que te sea sincero, en esta última versión, lo único que hice era poner el modo oscuro. El resto del escritorio se queda tal y como está.
Bueno, no exactamente, siempre instalo algunas aplicaciones básica, como puede ser Vim en el caso de que no venga instalado, que ahora no lo lo recuerdo. Daily-wallpaper para no preocuparme de tener que cambiar y actualizar el fondo de pantalla, y ver todos los días algo distinto. Y por supuesto Audacity para grabar este podcast que estás oyendo.
Sin embargo, es posible que necesites añadirle algunas opciones para adaptarle mucho mejor a tu flujo de trabajo. Cuestiones como, un diccionario, disponioble directamente desde el lanzador, un buscador de noticias, o cualquier otra cosa que necesites.
Sin embargo, todos estos añadidos, no nos vienen igual de bien a todos. A mi, puede ser que el diccionario me viene que ni al pelo, pero a ti no te valga para nada, y prefieras tener un buscador de noticias. Y, este, es otro aspecto que me gusta.
El recién llegado Como te decía la idea de personalizar la fecha y hora del panel, me parece interesante. Sin embargo, lo que no me termina de convencer, pero nada de nada, es el hecho de tener que recurrir al terminal para poner el formato.
Y es que es necesario acercarse al usuario recién llegado, y al no tanto, para hacerle la vida sencilla cómoda y fácil. No es que esto de recurrir al terminal sea nada del otro mundo. Sin embargo, a quien le digas, que para hacer esto, tiene que ir al terminal….
Siempre he pensado, que una de las obligaciones de cualquier distribución es que tiene que ofrecer la mejor experiencia de usuario posible. Y evidentemente esto, no puede pasar por recurrir al terminal.
La posibilidad de extender el escritorio Sin embargo, es posible que necesites añadirle algunas opciones para adaptarle mucho mejor a tu flujo de trabajo. Cuestiones como, un diccionario, disponible directamente desde el lanzador, un buscador de noticias, o cualquier otra cosa que necesites.
...
Más información en las notas del podcast sobre Extensionitis en Ubuntu
Premium
Plus
Comentarios