gfleetwood

if I change the name of `devbox.json` to something else then `devbox shell` throws an error: ``` Error: open devbox.json: no such file or directory Usage: devbox shell [] [flags]...