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

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