diff --git a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.json b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.json index 0a8dd8e..413cad4 100644 --- a/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.json +++ b/b9f0369a-2823-4af4-819c-3a1fc0cf2b8c/draft_overlay.json @@ -1,8 +1,13 @@ { "title": "Variable `$$` — récupérer le PID du shell", "slug": "symbole-double-et-commercial-2", - "_updated_at": "2026-05-16 15:59:10", + "_updated_at": "2026-05-16 15:59:15", "published": true, "published_at": "2023-01-09 22:35", - "category": "Informatique" + "category": "Informatique", + "tags": { + "tags": [ + "Bash" + ] + } }