Saltar al contenido

mayo 2012

Pimagizer 0.1.12 lanzado

Ayer mismo conseguí hacer una versión que iniciara sin ningún tipo de problemas desde el lanzador de aplicaciones Gnome-shell (o desde cualquier otro 🙂 ), así que subí la versión de prueba a launchpad, al repositorio «inestable». Ya funciona bien, por lo que lo acabo de dejar para que se suba al repo adecuado. Esto quiere decir que para instalarlo necesitaremos ejecutar «sólo» estas dos líneas: $ sudo add-apt-repository ppa:vfrico/stable && sudo apt-get update $ sudo apt-get install pimagizer Y ahora os dejo un vídeo, demostrando lo que hace:

Cómo activar la extensión de Gnome shell para cambiar de tema

Actualización 19/04/2017: Se ha testeado que funciona para las versiones de Ubuntu 16.04 y posteriores, incluyendo Gnome 3.22 Bueno, acabo de instalar Ubuntu 12.04 y en el ppa de WebUpd8 no tenemos la extensión «gnome-shell-extensions-user-theme». Esto provoca que el programa «gnome-tweak-tool» no pueda instalar nuevos temas. Pero tiene solución, y la verdad, bastante cómoda. Sólo tendremos que ir a https://extensions.gnome.org/extension/19/user-themes/ y darle a activar, siendo conscientes de que estamos en la sesión con gnome shell. Y así de simple, ya tendremos la posibilidad de añadir más temas del shell

GIMP 2.8 La versión esperada ha llegado

Seguro que a poco que leáis un blog de noticias de Linux, os habréis enterado: Por fin ya se ha liberado la última versión de The GIMP. Incluye unas cuantas novedades, pero para no repetirme, os dejo los enlaces que seguro que lo cuentan bastante mejor 🙂 GIMP.org | OMG!Ubuntu | Genbeta (1)

Grabar tu escritorio en GNOME 3 (Gnome-shell) y Cinnamon

Hace tiempo que me di cuenta de este detalle importante, pero nunca se me había ocurrido hablar sobre ello. Se trata de grabar el escritorio (o hacer un «screencast») sin necesidad de tener algún programa instalado, simplemente Gnome-shell, o Cinnamon (si usas Linux Mint). Gracias a la combinación de teclas: Ctrl+Alt+Mayús+R podremos grabar el escritorio a 15fps y guardarlo en la carpeta home por defecto. Se grabará en formato WebM, que ocupa menos espacio que OGG y es libre, al contrario que MP4 (H264). Para pararlo, hay que repetir la combinación. Sabremos que está grabando porque abajo a la izquierda veremos esto: Podremos acceder al vídeo vamos a la carpeta… Leer más »Grabar tu escritorio en GNOME 3 (Gnome-shell) y Cinnamon