He buscado en los man y en las páginas info; he hecho una búsqueda exhaustiva en la web; he consultado en diversos canales de la red freenode... Y no he encontrado en ningún sitio información adecuada que me resuelva un problema que me estaba acosando de un tiempo a esta parte. Ni si quiera he sido capaz de encontrar nada relevante ampliando la búsqueda a sistemas "házmelo fácil" como güindous...