◐ Shell
clean mode source ↗

Comparing gitpod-io:main...linklei-dev:main · gitpod-io/openvscode-server

Commits on Jun 21, 2024

  1. Configuration menu

    Browse the repository at this point in the history

  2. Configuration menu

    Browse the repository at this point in the history

  3. Configuration menu

    Browse the repository at this point in the history

  4. Configuration menu

    Browse the repository at this point in the history

  5. Configuration menu

    Browse the repository at this point in the history

  6. Configuration menu

    Browse the repository at this point in the history

  7. fix: make sure user-data-dir command line parameter is customizable

    The `--user-data-dir` command-line parameter is currently unusable. Its functionality is hampered due to an automatically appended `/data` directory, rendering the parameter completely ineffective.
    
    The proposed minor modification allows users to accurately customize this variable, enhancing its utility.
    Configuration menu

    Browse the repository at this point in the history

  8. Configuration menu

    Browse the repository at this point in the history

  9. Configuration menu

    Browse the repository at this point in the history

  10. Configuration menu

    Browse the repository at this point in the history

  11. Configuration menu

    Browse the repository at this point in the history