Monthly Archives: October 2013

  1. Setting the window title bar font and size manually

    Leave a comment

    October 23, 2013 by ricardovs

    After screwing up my Debian system a bit, I no longer have the Gnome-tweak-tool option to select the window title …
    Continue reading

  2. Upgrading to Debian Unstable, gdm issue.

    Leave a comment

    October 20, 2013 by ricardovs

    I’ve been playing around with Debian Testing for a few days, and out of curiosity I felt like jumping into …
    Continue reading

  3. Cambio de casa.

    Leave a comment

    October 20, 2013 by ricardovs

    El dicho es mas o menos así: cuando uno cambia de distro no pierde amigos. Veamos que tan cierto es, …
    Continue reading