Lorsque vous modifiez votre fichier .bash_profile, il sera lu la prochaine fois que vous ouvrirez un terminal. Mais que se passe-t-il si vous avez déjà un terminal ouvert ? Existe-t-il un moyen de le relire ?
Réponse
Trop de publicités?
Vous pouvez utiliser source
source ~/.bash_profileDu manuel de bash :
. filename [arguments] source filename [arguments] Read and execute commands from filename in the current shell environment and return the exit status of the last command executed from filename. If filename does not contain a slash, file names in PATH are used to find the directory containing filename. The file searched for in PATH need not be executable. When bash is not in posix mode, the current directory is searched if no file is found in PATH. If the sourcepath option to the shopt builtin com- mand is turned off, the PATH is not searched. If any arguments are supplied, they become the positional parameters when filename is executed. Otherwise the positional parameters are unchanged. The return status is the status of the last command exited within the script (0 if no commands are executed), and false if filename is not found or cannot be read.
