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

This commit is contained in:
Cédrix
2026-05-16 18:01:02 +02:00
parent e223dbaa40
commit 12f2746f5a
@@ -1,7 +1,8 @@
{ {
"title": "Variable `$$` — récupérer le PID du shell", "title": "Variable `$$` — récupérer le PID du shell",
"_updated_at": "2026-05-16 16:01:00", "_updated_at": "2026-05-16 16:01:02",
"slug": "symbole-double-et-commercial-2", "slug": "symbole-double-et-commercial-2",
"published": true, "published": true,
"published_at": "2023-01-09 22:35" "published_at": "2023-01-09 22:35",
"category": "Informatique"
} }