$ whatis source
source: nothing appropriate.
$ man source
No manual entry for source
$ source
bash: source: filename argument required
source: usage: source filename [arguments]
Esiste ed è eseguibile. Perché non c'è alcuna documentazione a riguardo in Ubuntu? Che cosa fa? Come posso installare la documentazione a riguardo?
$ type source source is a shell built-in
$ whatis source source (1) - bash built-in commands, see bash(1). Inoltre, man sourcemi porta alle BASH_BUILTINS(1)pagine man. Questo è su Fedora tra l'altro, non ho idea del perché quei pacchetti debian non siano documentati (o male).