{
  "permissions": {
    "allow": [
      "Bash(rm *)",
      "Bash(sed *)",
      "Bash(ls *)",
      "Bash(true)",
      "Bash(cargo check *)",
      "Bash(cargo build *)",
      "Bash(chmod *)",
      "Bash(mkdir *)",
      "Bash(ssh *)",
      "Bash(git fetch *)",
      "Bash(git add *)",
      "Bash(git commit *)",
      "Bash(git push *)",
      "Bash(scp *)",
      "Bash(curl *)",
      "Bash(sudo *)",
      "Bash(grep *)",
      "Bash(python3)",
      "Bash(with)",
      "Bash(as *)",
      "Bash(content *)",
      "Bash(old_text *)",
      "Bash(new_text *)",
      "Bash(old_text, *)",
      "Bash(f.write)",
      "Bash(print)",
      "Bash(eof)"
    ]
  },
  "$version": 3
}