search

OpenGrok / docker

WARNING: this repository is archived !
58 stars 31 forks source link

Default URL #8

Closed splitbrain closed 6 years ago

splitbrain commented 6 years ago

I am wondering why the default URL is /source instead of /. Is there any reason to expose the tomcat default stuff? Wouldn't it be easier to integrate this container into different environments with a default URL of /?

tarzanek commented 6 years ago

/source is historical (so a lot of people just use it like that) yes, / might work better for containers (and ideally with a redir from /source too :) )