-
Notifications
You must be signed in to change notification settings - Fork 30.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add support for custom root URL path through command line option --route-base-url-path
#201764
Conversation
…oute-base-url-path`
--route-base-url-path
--route-base-url-path
@microsoft-github-policy-service agree |
Thanks! Can you keep the PR as minimal as possible? E.g. don't modify What's not so nice is the global |
Well yes, it’s not pretty. The design choice was kind of borrowed from
Sure! Updates coming soon. |
I tried to avoid the global |
@aeschli Ideally instead of passing the path as a string we could make it a service like |
PR moved to #202491 |
Implemented by #202491 Note that I changed the argument to |
Setup (HOWTO Test)
<base-url-path>
http://localhost:9888/<base-url-path>
<base-url-path>
Example
http://localhost:9888/user/someuser/proxy
Notes
/
does not need to be present in the path.Related Issues
gitpod-io#320
#153679
#165391