draft: $$

2026-05-16 18:04:22 +02:00
parent bc26a50d18
commit c10639ae17
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:04:20",
+    "_updated_at": "2026-05-16 16:04:22",
    "slug": "double-dollar",
    "published": true,
    "published_at": "2023-02-18 16:32",
-    "category": "Informatique"
+    "category": "Informatique",
    "tags": {
        "tags": [
            "Bash"
        ]
    }
 }