Heads up! On October 1, we introduced Gitpod Flex. You can swap between documentation by using the switcher in the left navigation bar.

User settings

User settings allow you to customize your own personal Gitpod experience.

Was this helpful?

← Previous: Workspace editors Next: Browser extension →