$ whatis source
source: nothing appropriate.
$ man source
No manual entry for source
$ source
bash: source: filename argument required
source: usage: source filename [arguments]
Il existe et il est exécutable. Pourquoi n'y a-t-il pas de documentation à ce sujet dans Ubuntu? Qu'est ce que ça fait? Comment puis-je installer la documentation à ce sujet?
$ type source
source is a shell built-in
$ whatis source
source (1) - bash built-in commands, see bash(1)
. En outre, man source
me amène aux BASH_BUILTINS(1)
pages de manuel. Ceci est sur Fedora btw, aucune idée de la raison pour laquelle ces paquets Debian sont non (ou mal) documentés.