You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
## Summary
During the `devbox cloud shell` command execution, we now save the
user's
Github username in `~/.config/devbox/ssh/github_username`. This should
improve the UX since they won't need to keep re-entering this
information.
We wait for the `gateway auth` to successfully return a VM before saving
the info
in the `github_username` file. Because the gateway verifies that the
user's github username
is valid.
In case the user wishes to override the cached github username, they can
use the new `--username` or `-u` flag in `devbox cloud shell`.
## How was it tested?
```
> devbox cloud shell
....
> cat ~/.config/devbox/ssh/github_username
savil
```
I then edited `github_username` to have an incorrect value like
`savil2`.
And cleared the socker in `~/.config/devbox/ssh/sockets` to ensure the
CLI client calls the gateway again.
This time `devbox cloud shell` gave an error about using a bad username
`savil2`.
I then did: `devbox cloud shell -u savil` to fix the situation.
0 commit comments