{
    "uuid": "97a8f127-ee98-4b55-b565-5ff148fb8178",
    "slug": "double-dollar",
    "title": "Variable `$$` — récupérer le PID du shell",
    "author": "cedric@abonnel.fr",
    "published": true,
    "featured": false,
    "published_at": "2023-02-18 16:32",
    "created_at": "2023-02-18 16:32:17",
    "updated_at": "2026-05-16 16:04:26",
    "revisions": [
        {
            "n": 1,
            "date": "2026-05-16 16:04:26",
            "comment": "Titre modifié, tags modifiés, contenu modifié",
            "title": "$$"
        }
    ],
    "cover": "",
    "files_meta": [],
    "external_links": [],
    "seo_title": "",
    "seo_description": "",
    "og_image": "",
    "category": "Informatique",
    "tags": {
        "tags": [
            "Bash"
        ]
    }
}