De acuredo, gracias. De paso, ya sé otro comando útil que desconocía
hasta ahora: locate.
Por cierto, esto me ha recordado un comando que aprendí una vez, pero
que por falta de uso olvidé cuál era, y más de una vez me habría
resultado útil... si me hubiera acordado. El caso es que no sé dónde
lo vi (seguramente por casualidad en algún sitio), y aunque he
tratado de encontrar cuál era el nombre del comando (en google y
también mediante apt-cache search), no lo he encontrado. Era un
comando al que le dabas el nombre de un programa, y te devolvía su
ruta. ¿Alguien sabe qué comando es?