-
Notifications
You must be signed in to change notification settings - Fork 1
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
Fix GUI statement links #387
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think it would be better to overwrite the values for local development. If we merged this as it is it would break the staging software links.
Isn't there some variable that saves the portal.mardi4nfdi.de url and that can be accessed from Wikibase.php? It somehow doesn't look right to have this hard-coded urls in there. |
I think this is the variable to be set. Maybe there is something like concept URI from the linkedwiki extension, but I don't know. |
120c23b
to
d83eb5f
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I would have used getenv instead of _ENV but it does not really matter. Decide on your own feelings https://stackoverflow.com/a/8798318
Ok. Since we will have now a PORTAL_HOST variable with portal.mardi4nfdi.de as value, would it be ok if I change all the instances of portal.mardi4nfdi.${TLD} in docker-compose.yml to just ${PORTAL_HOST}? e.g. quickstatements.portal.mardi4nfdi.${TLD} to quickstatements.${PORTAL_HOST} and so on. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think so.
cf2613b
to
4b6f23b
Compare
3831dce
to
40f4742
Compare
@physikerwelt I changed the logic again, so maybe just take a final look, before I merge it. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think it is ok, however, I find maintaining the localhost:port alternative creates a huge overhead and makes the dev environment different from production so that some parts need to developed twice. I would thus recommend to remove the localhost:port alternative and use a pseudo domain that points to localhost instead.
I don't see if that is really the case here. This implementation does not change the current workflow we have. We are already changing the WIKIBASE_HOST and PORT for development Line 21 in f5ef817
|
Yes, I fully agree. So it is as bad as it was before:-)
At least when trying to get quick statements to run, I found the combination of hosts and ports quite confusing. portal-compose/docker-compose.yml Lines 321 to 328 in f5ef817
For example, This PR, in particular, adds further technical debts to handle both cases, dev, and prod. Instead, I suggest it would be easier to guide developers to install a custom DNS like described here https://github.com/bnfinet/docker-dns |
@eloiferrer what do you think? I checked https://staging.swmath.org/wiki/Mathoid and saw that the link to the MaRDI portal item is currently missing, but the other direction from https://portal.mardi4nfdi.de/wiki/Item:Q38023 works. So that needs to be fixed anyhow. So I think it would be a good time to merge this now. |
MaRDI Pull Request
Changes:
Instructions for PR review:
Checklist for this PR: