diff --git a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.json b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.json deleted file mode 100644 index 79852cd..0000000 --- a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.json +++ /dev/null @@ -1,16 +0,0 @@ -{ - "title": "Variable `$$` — récupérer le PID du shell", - "slug": "symbole-double-et-commercial-2", - "_updated_at": "2026-05-16 15:59:19", - "published": true, - "published_at": "2023-01-09 22:35", - "category": "Informatique", - "tags": { - "tags": [ - "Bash" - ] - }, - "seo_title": "", - "seo_description": "", - "og_image": "https://www.abonnel.fr/file?uuid=b9f0369a-2823-4af4-819c-3a1fc0cf2b8c&name=cover.png" -} diff --git a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.md b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.md deleted file mode 100644 index da13542..0000000 --- a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.md +++ /dev/null @@ -1,22 +0,0 @@ -# Variable `$$` — récupérer le PID du shell - -La variable spéciale `$$` renvoie le **PID** (*Process IDentifier*) du shell courant. Elle est utile pour générer des noms de fichiers temporaires uniques, tracer un script dans les logs ou créer un fichier de verrou. - -## Particularité dans les sous-shells - -`$$` conserve toujours la valeur du shell **parent**, même lorsqu'elle est évaluée dans un sous-shell `( … )`. Pour obtenir le PID réel du processus en cours d'exécution, Bash propose la variable `$BASHPID`. - -``` -~ $ echo $$ -17601 -~ $ ( echo $$; echo $BASHPID ) -17601 -17634 -``` - -Dans l'exemple ci-dessus : - -- `$$` affiche `17601` dans les deux cas : c'est le PID du shell interactif d'origine. -- `$BASHPID` affiche `17634` : c'est le PID du sous-shell créé par les parenthèses. - -Retenir la différence : **`$$` = PID du shell de référence**, **`$BASHPID` = PID du processus Bash réellement en cours**. \ No newline at end of file diff --git a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/index.md b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/index.md index 995fc37..da13542 100644 --- a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/index.md +++ b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/index.md @@ -1,10 +1,10 @@ -# Paramètre && - retour du PID +# Variable `$$` — récupérer le PID du shell -![](logo_bash.png) +La variable spéciale `$$` renvoie le **PID** (*Process IDentifier*) du shell courant. Elle est utile pour générer des noms de fichiers temporaires uniques, tracer un script dans les logs ou créer un fichier de verrou. -Affiche le numéro de process de l’exécution de la ligne de commande en cours. Synonyme de PID, Process IDentification en cours. +## Particularité dans les sous-shells -Dans un programme BASH, on peut récupérer le numéro du process de l'enfant avec la variable $BASHPID +`$$` conserve toujours la valeur du shell **parent**, même lorsqu'elle est évaluée dans un sous-shell `( … )`. Pour obtenir le PID réel du processus en cours d'exécution, Bash propose la variable `$BASHPID`. ``` ~ $ echo $$ @@ -12,4 +12,11 @@ Dans un programme BASH, on peut récupérer le numéro du process de l'enfant av ~ $ ( echo $$; echo $BASHPID ) 17601 17634 -``` \ No newline at end of file +``` + +Dans l'exemple ci-dessus : + +- `$$` affiche `17601` dans les deux cas : c'est le PID du shell interactif d'origine. +- `$BASHPID` affiche `17634` : c'est le PID du sous-shell créé par les parenthèses. + +Retenir la différence : **`$$` = PID du shell de référence**, **`$BASHPID` = PID du processus Bash réellement en cours**. \ No newline at end of file diff --git a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/meta.json b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/meta.json index 230b304..5a1ccd9 100644 --- a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/meta.json +++ b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/meta.json @@ -1,18 +1,31 @@ { "uuid": "b9f0369a-2823-4af4-819c-3a1fc0cf2b8c", "slug": "symbole-double-et-commercial-2", - "title": "Paramètre && - retour du PID", + "title": "Variable `$$` — récupérer le PID du shell", "author": "cedric@abonnel.fr", "published": true, - "published_at": "2023-01-09 22:35:09", + "featured": false, + "published_at": "2023-01-09 22:35", "created_at": "2023-01-09 22:35:09", - "updated_at": "2023-01-09 22:35:09", - "revisions": [], + "updated_at": "2026-05-16 15:59:20", + "revisions": [ + { + "n": 1, + "date": "2026-05-16 15:59:20", + "comment": "Titre modifié, tags modifiés, contenu modifié, image de couverture modifiée", + "title": "Paramètre && - retour du PID" + } + ], "cover": "cover.png", "files_meta": [], "external_links": [], "seo_title": "", "seo_description": "", - "og_image": "", - "category": "Informatique" + "og_image": "https://www.abonnel.fr/file?uuid=b9f0369a-2823-4af4-819c-3a1fc0cf2b8c&name=cover.png", + "category": "Informatique", + "tags": { + "tags": [ + "Bash" + ] + } } diff --git a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/revisions/0001.md b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/revisions/0001.md new file mode 100644 index 0000000..995fc37 --- /dev/null +++ b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/revisions/0001.md @@ -0,0 +1,15 @@ +# Paramètre && - retour du PID + +![](logo_bash.png) + +Affiche le numéro de process de l’exécution de la ligne de commande en cours. Synonyme de PID, Process IDentification en cours. + +Dans un programme BASH, on peut récupérer le numéro du process de l'enfant avec la variable $BASHPID + +``` +~ $ echo $$ +17601 +~ $ ( echo $$; echo $BASHPID ) +17601 +17634 +``` \ No newline at end of file