draft: Variable $$ — récupérer le PID du shell

2026-05-16 18:00:59 +02:00
parent 8528384c8c
commit 410cbed24b
1 changed files with 2 additions and 1 deletions
@@ -1,4 +1,5 @@
 {
    "title": "Variable `$$` — récupérer le PID du shell",
-    "_updated_at": "2026-05-16 16:00:58"
+    "_updated_at": "2026-05-16 16:00:59",
+    "slug": "symbole-double-et-commercial-2"
 }