You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Configuration for the header is done in defaults.properties. You can for instance change the logo. And add a complementary stylesheet. But some apps won't read that config, resulting in an incoherent header whenever there is some custom config. For instance when changing the logo, it won't apply on datafeeder and datahub as can be seen on the following scripts:
The text was updated successfully, but these errors were encountered:
jeanpommier
changed the title
new header's config is improperly configured for non-java services (datahub, datafeeder)
[docker config] new header's config is improperly configured for non-java services (datahub, datafeeder)
Sep 27, 2024
I believe we should be able to read the .properties file if necessary, somthing like (ex. for the datahub)
#!/bin/sh
# To be properl executed by datahub initialization need the +x flag
# so you need to add it with chmod and commit/push it
# Parse default.properties file
file="../../default.properties"
function prop {
grep "^${1}" ${file} | cut -d'=' -f2
}
DATAHUB_DIR=${1:-/usr/share/nginx/html/datahub}
SNIPPET="<script src=\"$(prop 'headerScript')\"></script><geor-header active-app='datahub' style=\"height:$(prop 'headerHeight')px\" logo-url=\"$(prop 'logoUrl')\" stylesheet=\"$(prop 'georchestraStylesheet')\"></geor-header>"
if grep -q "<geor-header" "${DATAHUB_DIR}/index.html"; then
echo "[INFO] geOrchestra: header already present."
exit 0
fi
echo "[INFO] geOrchestra: adding header in the main page..."
sed -i "s#<body>#<body>${SNIPPET}#" ${DATAHUB_DIR}/index.html
Configuration for the header is done in defaults.properties. You can for instance change the logo. And add a complementary stylesheet. But some apps won't read that config, resulting in an incoherent header whenever there is some custom config. For instance when changing the logo, it won't apply on datafeeder and datahub as can be seen on the following scripts:
The text was updated successfully, but these errors were encountered: