Skip to content
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.

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

Enable software development from any device via https://gitpod.io #1156

Merged
merged 1 commit into from Jun 6, 2022

Conversation

ghuntley
Copy link
Contributor

@ghuntley ghuntley commented Jun 6, 2022

Howdy,

Geoff here from Gitpod. Stumbled upon this conversation over at https://lobste.rs/s/s5co2f/where_contributors_have_problems_with related to problems that contributors to Oil are facing and this pull-request contains the required configuration that enables folks to one-click / start contributing to Oil immediately from any device.

Screen Shot 2022-06-06 at 12 34 55 pm

You can even try it out on this pull-request before merging by clicking on the button below :)

Contribute with Gitpod

If you got any questions lemme know.

pps. nix-shell is installed on Gitpod but I didn't go that route because saw conversation that the paths had diverged.

@andychu
Copy link
Contributor

andychu commented Jun 6, 2022

Great thank you! I tried it out and it works nicely with the minimal dev build.

The full dev build needs some more tools, but this is a great start! I will mention this on the blog

@andychu andychu merged commit ec7ccb3 into oilshell:master Jun 6, 2022
@andychu
Copy link
Contributor

andychu commented Jun 6, 2022

FWIW on Chromium Linux on Ubuntu 18.04 I'm getting this drawing issue. It seems to have issues with underscores, drawing a black character instead (?)

(And I don't think I have any custom fonts, and I don't recall this bug on any other websites. I don't use VSCode either)

But no drawing issue on Firefox!

gitpod


Thanks for the PR!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants