New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Allow using CI containers for local development #1075

Open

andychu opened this issue Jan 20, 2022 · 1 comment

Labels

containers devtools

Contributor

andychu commented Jan 20, 2022 •

edited

Loading

This is a continuation of #803

We have containers on Docker Hub right now, but I'd like to move them somewhere else ...

andychu added containers devtools labels

andychu mentioned this issue

build/dev.sh ubuntu-deps fails: Package 'python-pip' has no installation candidate #1063

Closed

Contributor Author

andychu commented Mar 4, 2022

Note that some tests fail on people's dev machines. This bug would solve that

https://oilshell.zulipchat.com/#narrow/stream/266575-blog-ideas/topic/Oil.20Is.20Being.20Implemented.20.22Middle.20Out.22

andychu mentioned this issue

standard location for user binaries like ~/bin/, so installers don't write to oshrc/oilrc #736

Open

andychu mentioned this issue

A better way of updating dev tools? #1266

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment