{ "permissions": { "allow": [ "Bash(pdfdetach:*)", "Bash(python3:*)", "Bash(xmllint:*)" ] } }