Documentation does not describe how to set COQPATH

[JasonGross]

If I want to set COQPATH for a particular project (or even globally), there doesn't seem to be any documentation on how to do this. Having something like

{
    "terminal.integrated.env.linux": {
        "COQPATH": "..."
    }
}

in ~/.vscode-server/data/Machine/settings.json doesn't seem to work (though it does set COQPATH in the terminal). Adding a line to ~/.bashrc or ~/.zshrc does, but that makes it global, whereas I'd like to set it only for vscode. Could vscoq get settings for configuring COQPATH and OCAMLPATH? Or if there's already a way to set the env for programs and not just for the integrated terminal, could this be made more clear somewhere in the vscoq doc?

[ChuyueSun]

Also, you have to add COQPATH to both ~/.bashrc and ~/.zshrc.