A new nice trick for the Linux keyboard: greek letters

New layout for my Spanish keyboard

I do not know you, but me (as an engineer) use Greek letters like α, β, γ and so on quite often. I did a small change to my linux keyboard layout: the new part in the keyboard symbols files now is

partial alphanumeric_keys xkb_symbols “standard_tlde” { include “es(basic)” key <TLDE> { [ grave, asciitilde, […]

Eclipse

hearth-shaped eclipse

I suppose that everyone and their cat has eclipse shots this days… but I think this is a bit different:

I was shooting the March 20, 2015 eclipse (in Madrid) through a tree, and as a test I tried to focus on the tree silhouette instead — and that was the result. The normal, […]

Managing PPAs in Ubuntu: a couple of useful scripts.

PPAs are really a great thing in Ubuntu: they allow you to have quite recent programs without upgrading all your system; most Ubuntu users use them extensively.

They have just one problematic side — the havoc that can happen on an upgrade. You see, when you upgrade your system, PPAs are disabled, but the program […]