Gitpod — October 2018 Release

Sven Efftinge
Oct 1, 2018 · 4 min read

It has been a month already since we went public with We want to take a moment and send out a big thank you for all the great feedback and kind words! ❤️

We are working to incorporate all your feedback continuously, adding new features, fixing bugs and improving the overall usability and performance.
Please keep sending all that useful feedback!

Today, we are pleased to announce a new version of Gitpod.

Image for post
Photo by Audrey Fretz on Unsplash

Here are the most important new features and improvements:

Unlimited Gitpod Hours! 🎁

To allow you using Gitpod as much as you want, during the beta you can now
add extra Gitpod Hours whenever you run low on them!

Image for post

Docker File Support ⚙️

Most projects need special tools, which can be provided by naming a custom Docker image in your .gitpod file.

Starting today, you can point to a Dockerfile that sits next to the .gitpod file. Gitpod will take care of building and caching it for you. Instead of managing your own docker builds and versions, simply put the Dockerfile into the repository and you will always have a working setup for the branch at hand.

Please read Gero’s post explaining this feature in more detail.

Image for post

Introduced CLI ⌨️

We have introduced a CLI which allows controlling the IDE from the command line, for instance you can open files. Try:

gp open path/to/file

or just

open path/to/file

or in case your muscle memory is taking over :)

code path/to/file 

We will add more features to the CLI. If you have ideas or demands please file tickets over here.

GitHub Bot 🤖

The Gitpod Bot for Github can automatically add Gitpod-links to issues and pull-requests. For instance, if you want to improve onboarding for new contributors you should configure the bot so it adds links to good_first_issue or help_wanted tagged issues.

Image for post

We will shortly write a post dedicated to streamlining the contributor’s experience.

User Preferences 🤓

Preferences and user preferences now allow for customizing your experience individually or per workspace. The workspace preferences are stored in the git repository, while the user preferences are stored in your account and will be used across all your workspaces.

Image for post

Change Language Mode 💬

Sometimes you want to manually change syntax coloring because e.g. no file extension is present. Clicking on the language name in the status bar now allows to quick pick what language to use for an opened editor.

Image for post

Enhanced Dashboard 💄

In case you want to work a bit longer on a workspace you can now change its description. Also the workspace id is shown in the dashboard so you can tell apart multiple workspaces for the same context.

Image for post

Other Improvements 🚀

There are plenty of other improvements and fixes that didn’t make it to the list. For instance, Go-projects are now automatically set up correctly even without any configuration. Also there are plenty of enhancements that have been added to the TypeScript language server. TSLint now works great and we laid out the foundation to add specific editing support for more frameworks and linters such as Vue.js, Angular and ESLint.

In addition to the explicitly mentioned features you can find a full list of fixes and changes in the Theia repository.

Next Release 🔆

We are targeting a regular release cycle of one month with smaller continuous updates in-between. For the next release we will focus heavily on improving the startup time as well as the lagging dashboards in the US and the Asian region. Besides that we have some exciting new features up our sleeves as well.

Stay tuned and have fun! 🎉

(emoji-mode off)


Gitpod - Online IDE for GitHub

Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore
Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store