Maison > Opération et maintenance > exploitation et maintenance Linux > Comment utiliser la commande source sous Linux

Comment utiliser la commande source sous Linux

小老鼠
Libérer: 2024-03-14 09:40:33
original
1369 Les gens l'ont consulté

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.

Comment utiliser la commande source sous Linux

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!

Étiquettes associées:
source:php.cn
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Tutoriels populaires
Plus>
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal