{
  "permissions": {
    "allow": [
      "Bash(cd /home/mario/Workspaces/xxx-thegame/xxxthegame && ./gradlew compileJava 2>&1 | tail -40)",
      "Bash(grep -l \"variables.css\\\\|:root\" /home/mario/Workspaces/xxx-thegame/xxxthegame/src/main/resources/static/*.html | head -5)",
      "Bash(cd /home/mario/Workspaces/xxx-thegame/xxxthegame && ./gradlew compileJava 2>&1 | tail -30)",
      "Bash(grep:*)",
      "Bash(mkdir:*)",
      "Bash(mysql:*)",
      "Bash(sudo mysql:*)",
      "Bash(find:*)",
      "Bash(/tmp/file_summary.txt:*)",
      "Read(//tmp/**)",
      "Bash(cd:*)",
      "Bash(JAVA_HOME=\"/snap/eclipse/132/usr/lib/eclipse/plugins/org.eclipse.justj.openjdk.hotspot.jre.full.linux.x86_64_21.0.10.v20260205-0638/jre\"; JAVA_HOME=\"$JAVA_HOME\" PATH=\"$JAVA_HOME/bin:$PATH\" ./gradlew compileJava 2>&1 | grep -E \"error:|ERROR|warning:|WARN|BUILD\" | head -30)",
      "Bash(JAVA_HOME=\"/snap/eclipse/132/usr/lib/eclipse/plugins/org.eclipse.justj.openjdk.hotspot.jre.full.linux.x86_64_21.0.10.v20260205-0638/jre\" PATH=\"$JAVA_HOME/bin:$PATH\" ./gradlew compileJava 2>&1 | grep -E \"error:|BUILD\" | head -30)"
    ]
  }
}