bashbash – ‘source’ は何をするのか? $ whatis source source: nothing appropriate. $ man source No manual entry for source $ source bash: source: filename arg...bashdocumentationshell