Sous Linux, la commande source est généralement utilisée pour réexécuter le fichier d'initialisation qui vient d'être modifié afin qu'il prenne effet immédiatement sans avoir à se déconnecter et à se reconnecter. Son utilisation de base est la suivante : nom de fichier source, où nom de fichier doit être un fichier de script exécutable.
Sous Linux, la commande source est généralement utilisée pour réexécuter le fichier d'initialisation qui vient d'être modifié afin qu'il prenne effet immédiatement sans avoir à se déconnecter et à se reconnecter. Son utilisation de base est la suivante : nom de fichier source, où nom de fichier doit être un fichier de script exécutable. Une autre façon d'écrire équivalente consiste à utiliser la notation par points : . nom de fichier, où notez qu'il y a un espace après le signe "." La commande
source est une commande intégrée du shell bash. Sa fonction est de demander au shell actuel de lire le fichier avec le chemin du nom de fichier et d'exécuter toutes les instructions du fichier dans l'ordre. La commande source forcera l'exécution de toutes les commandes du script, quelles que soient les autorisations de fichiers. Lorsque vous utilisez la commande source pour exécuter un script, le script sera exécuté dans l'environnement shell actuel, ce qui signifie que toutes les instructions nouvelles et variables du script seront enregistrées dans le shell actuel, au lieu de créer un nouveau sous-shell comme en utilisant sh nom de fichier pour exécuter le script.
Par exemple, lorsque vous modifiez le fichier /etc/profile et que vous souhaitez qu'il prenne effet immédiatement sans avoir à vous reconnecter, vous pouvez utiliser la commande source, telle que "source /etc/profile". De même, si vous modifiez des fichiers d'initialisation tels que .bash_profile ou .bash_rc et souhaitez qu'ils prennent effet immédiatement, vous pouvez également utiliser la commande source.
Dans l'ensemble, la commande source est un outil puissant dans les systèmes Linux qui vous permet d'appliquer instantanément des modifications aux scripts ou aux fichiers d'initialisation sans avoir à vous déconnecter et à vous reconnecter.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!