$ whatis source
source: nothing appropriate.
$ man source
No manual entry for source
$ source
bash: source: filename argument required
source: usage: source filename [arguments]
Es existiert und ist lauffähig. Warum gibt es in Ubuntu keine Dokumentation dazu? Was tut es? Wie kann ich Dokumentation dazu installieren?
$ type source
source is a shell built-in
$ whatis source
source (1) - bash built-in commands, see bash(1)
. Auch man source
nimmt mich auf die BASH_BUILTINS(1)
man - Seiten. Dies ist übrigens auf Fedora, keine Ahnung, warum diese Debian-Pakete nicht (oder schlecht) dokumentiert sind.