{
  "permissions": {
    "allow": [
      "Bash(pkg-config --list-all)",
      "Read(//usr/include/GLFW/**)",
      "Bash(ldconfig -p)",
      "Bash(make *)",
      "Bash(echo \"exit: $?\")",
      "Bash(timeout 2 ./vectorgons)",
      "Read(//tmp/**)",
      "Bash(glxinfo)",
      "Bash(grep -iE '^\\(scrot|grim|import|maim|spectacle\\)$')",
      "Bash(convert vg_shot.png -crop 270x210+0+0 +repage -resize 300% vg_crop.png)",
      "Bash(identify -format \"%wx%h\\\\n\" vg_multi.png)",
      "Bash(convert vg_multi.png -crop 760x600+460+0 +repage vg_multi_solids.png)",
      "Bash(convert vg2.png -crop 740x620+0+0 +repage vg2_crop.png)",
      "Bash(convert vg_ast.png -resize 1000x vg_ast_full.png)",
      "Bash(xwininfo -name Vectorgons -int)",
      "Bash(timeout 3 ./vectorgons)",
      "Bash(timeout 4 ./vectorgons)",
      "Bash(cat)",
      "Bash(cc -O2 -o /tmp/sim /tmp/sim.c -lm)",
      "Bash(/tmp/sim)",
      "Bash(cc -O2 -o /tmp/st2 /tmp/st2.c -lm)",
      "Bash(/tmp/st2)",
      "Bash(rm -f /tmp/st2 /tmp/st2.c)"
    ]
  }
}