_frontend/main.py: Use click.INT type for bst workspace --source

bst workspace {open,close,reset} <bst> --source <index> commands currently give an indexing error. The python click library needs to be told that the expected argument is of type integer.

This patch also makes use of metavar to display a placeholder in the help prompt, like:

-s, --source INDEX The source to create a workspace for. Projects with one source may omit this

Merge request reports

Loading
Loading