Gitpod Documentation home page
Gitpod Enterprise
Search or ask, e.g., 'Configure GitHub in Enterprise'
Login
Get a demo
Get a demo
Search...
Navigation
User settings
Overview
Pricing
Support
Blog
Changelog
API Reference
Introduction
Overview
Use cases
Getting started
Gitpod tutorial
Languages
Configure
Configure Gitpod
Workspaces
User settings
Overview
SSH
Environment Variables
Dotfiles
Browser settings
Browser Extension
Browser Bookmarklet
Access Tokens
Organizations
Repositories
Authentication
Billing
References
Overview
.gitpod.yml
Gitpod URL
Gitpod public API
Gitpod CLI
Compatibility
IDEs and Editors
Integrations
Overview
GitHub
GitLab
Bitbucket
Azure DevOps
JetBrains Gateway
Kubernetes
Tailscale
Amazon Web Services (AWS)
Backstage
Internal Developer Portals
Enterprise
Overview
Installation process
Setup and Preparation
Deploying
Configure your Gitpod Instance
Add an SCM integration
Insights
Administration
Updating
Background
Reference
Archive
Help
Troubleshooting
Contribute
User settings
Overview
User settings allow you to customize your own personal Gitpod experience.
Browser Extension
Browser Settings
Browser Bookmarklet
Environment Variables
Dotfiles
SSH
Access Tokens
Was this page helpful?
Yes
No
Collaboration & Sharing
SSH