...continuo a scrivere "pimpa" per lanciare pumpa. Al punto che nel mio .bashrc ora figura questo:

alias pimpa='pumpa'

meh. la vecchiaia incombe. per no parlare dei cani a pois.