$ 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 source
mi 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).