Skip to content

feat: Gitpod support #83

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

Closed
wants to merge 4 commits into from

Conversation

im-coder-lg
Copy link
Contributor

Motivation

In issue #69 I had mentioned about Gitpod. For those who don't know about it, Gitpod is a web IDE, kinda similar to GitLab's Web IDE but it offers much customizability. For starters, it offers native VS Code UI on your browser. Gitpod gives a terminal, a Linux one. They offer instant IDEs for new contributors so that they just start off coding. This is really good since people can start immediately without cloning, dependency issues, and a slower computer. Moreover, it's free(no money for Gitpod servers but you can pay for Professional subscriptions if you want) and all you need is a GitHub account to kick-start everything 😉

Changes

I have added files mainly, a Gitpod Dockerfile for the custom image, a Gitpod configuration file that contains code for the extensions you put in the .vscode/extensions.json as well as terminal tasks for the server. It also contains code for pre-builds for faster Gitpod launching. It appears as though I changed everything but I didn't, it was my PC that did it. I had to clone the fork for the last edits.
Also, a server.sh is added for user choice between app and docs.

Related

Gitpod: https://gitpod.io

Additional Comments

This is still in the WIP stage. After I check if the Shell file is working, I will add a button to the README that will start a Gitpod session as well as documentation for this.

@vercel
Copy link

vercel bot commented Sep 27, 2021

Someone is attempting to deploy a commit to a Personal Account owned by @kimlimjustin on Vercel.

@kimlimjustin first needs to authorize it.

@im-coder-lg
Copy link
Contributor Author

im-coder-lg commented Sep 27, 2021

And yeah, the docs will be in another PR as said in the template. It will be done by tomorrow.

@kimlimjustin
Copy link
Owner

I saw there're 386 files changed and most of the theme is just the same (maybe just spacing), is this necessary?

@im-coder-lg
Copy link
Contributor Author

im-coder-lg commented Sep 27, 2021

It was due to the cloning, git did that, but the PR could be helpful to new contributors since this will get them up and running in 5 minutes.

@im-coder-lg
Copy link
Contributor Author

I have to test the shell script since I know that the Gitpod Config won't fail since I had made and configured one of them from scratch. So, there is one test of that, the other is a docs update which will be ready tomorrow in the Contributing section. I will add the button on the docs, README and the CONTRIBUTING.md file for ease.

@kimlimjustin
Copy link
Owner

I'm really sorry but I don't think I can merge this soon as it contains 386 file changes, also 386 file changes will makes the repo size bigger and bigger (because of the git commit history). Or could you just send literally the file that really changes into another PR? (Just copy and paste may be, or use GitHub desktop to manage which file to push)

@im-coder-lg im-coder-lg changed the title Gitpod support feat: Gitpod support Sep 27, 2021
@im-coder-lg
Copy link
Contributor Author

Hmm... Maybe I can try putting the specific code in another branch and reopen this. I will try this method.

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.

2 participants