{ "permissions": { "allow": [ "Bash(command -v php)", "Bash(php -v)" ] } }