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