Robert Brennan comments

Results 1267 comments of


                                            Robert Brennan

build: add devconfig file

I have not. Totally unfamiliar with devconfig--if this is legit useful for other devs I'm game to merge it, but if it's just something @opentechexpert would use, probably not worth...

build: add devconfig file

Two votes for devcontainers is enough for me! @opentechexpert if you're able to get it working for @thomas-gale we'll get this merged

build: add devconfig file

Also--I'm leaning towards DOOD as well now.

build: add devconfig file

I'm going to close this one due to lack of activity, and a guess that it's outdated given how much work has happened in the last 2 weeks. But I'd...

Ruff: use I rule for isort

Thanks @Borda! Auto-merge enabled, just need to fix the conflicts

ModuleNotFoundError: No module named 'typing_extensions'

Does `pip install typing-extensions` fix the problem? We might have missed it in the Pipfile

ModuleNotFoundError: No module named 'typing_extensions'

Agree--remove the `-v`. Not sure why we put it there

ModuleNotFoundError: No module named 'typing_extensions'

Thanks for reporting back!

fix(sandbox): `mount_dir` for ssh_box

I think it might be good to move this logic to `config.py`--if `WORKSPACE_MOUNT_PATH` is unset, set it to `WORKSPACE_BASE` I believe the logic you have here only works if running...

fix(sandbox): `mount_dir` for ssh_box

Thanks!