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

2026-05-16 18:01:08 +02:00
parent 12f2746f5a
commit 09356d0ae0
1 changed files with 7 additions and 2 deletions
@@ -1,8 +1,13 @@
 {
    "title": "Variable `$$` — récupérer le PID du shell",
-    "_updated_at": "2026-05-16 16:01:02",
+    "_updated_at": "2026-05-16 16:01:08",
    "slug": "symbole-double-et-commercial-2",
    "published": true,
    "published_at": "2023-01-09 22:35",
-    "category": "Informatique"
+    "category": "Informatique",
+    "tags": {
+        "tags": [
+            "Bash"
+        ]
+    }
 }