While there is no requirement for this, given that you can figure out the SSH address of the Brev instance that brev shell is connecting to, it would be useful to avoid copying and pasting long strings to be able to have some sort of CLI API that was similar in semantics to brev shell <workspace id>, like
brev scp <workspace id>:<path-on-remote-machine> <path-on-local-machine>
to make it easier to copy files to and from a Brev instance.
While there is no requirement for this, given that you can figure out the SSH address of the Brev instance that
brev shellis connecting to, it would be useful to avoid copying and pasting long strings to be able to have some sort of CLI API that was similar in semantics tobrev shell <workspace id>, liketo make it easier to copy files to and from a Brev instance.