Skip to Content
Gitpod Logo
  • CDEs
  • Customers
  • Pricing
11.7k
  • Login
Talk to us
11.7k
Login
  • Introduction
  • Getting started
  • Learn Gitpod
  • Languages
  • Configure
  • Workspaces
  • User settings
    • Browser extension
    • Browser settings
    • Browser bookmarklet
    • Dotfiles
    • SSH
  • Projects
  • Organizations
  • Authentication
  • Self-Hosted
  • Billing
  • References
  • .gitpod.yml
  • IDEs & editors
  • Integrations
  • Gitpod CLI
  • Compatibility
  • Security FAQ
  • Gitpod Dedicated
  • Guides
  • Background
  • Reference
  • Help
  • Contribute
  • Troubleshooting
  • Browser extension
  • Browser settings
  • Browser bookmarklet
  • Dotfiles
  • SSH

User settings

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

  • Browser Extension
  • Browser Settings
  • Browser Bookmarklet
  • Dotfiles
  • SSH
  • Access Tokens

Was this helpful?

Previous Next
  • Gitpod
  • Getting started
  • CDEs
  • Gitpod Cloud
  • Gitpod Dedicated
  • Pricing
  • Ready-to-code
  • Support
  • Customers
  • Report a bug
  • Status
  • Resources
  • Docs
  • White paper
  • Changelog
  • Blog
  • Guides
  • Videos
  • Community
  • Events
  • Open Source
  • Education
  • Startups
  • Solutions
  • Onboarding
  • Supply chain security
  • Productivity
  • Developers
  • Platform teams
  • Compare
  • Local development
  • GitHub Codespaces
  • JetBrains Space
  • Company
  • About
  • Team
  • Careers
  • Media kit
  • Security
  • Contact
Twitter GitHub Discord LinkedIn YouTube
Imprint Terms of service Privacy policy Cookie policy

Copyright © 2023 Gitpod