{ "permissions": { "allow": [ "Bash(mkdir:*)", "Bash(rm:*)", "Bash(rg:*)", "Bash(grep:*)" ], "deny": [] } }