{
  "permissions": {
    "allow": [
      "Bash(python html_to_header.py:*)"
    ]
  }
}