erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-05 00:15:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

chore(android): address code review comment

Browse source
This commit is contained in:
Eberhard Beilharz 2026-06-29 17:08:24 +02:00
parent bda4b50e2a
commit b805f66177
No known key found for this signature in database
GPG key ID: E9140597606020D3
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
web/build.sh
View file

@ -125,6 +125,10 @@ build_tests_action() {
# shellcheck disable=SC2310
if ! builder_is_ci_release_build; then
for f in "${KEYMAN_ROOT}/web/build/docs/engine/guide/examples"/*.html; do
# Replace CDN URL (https://s.keyman.com/kwm/engine/18.0.123) with
# local local build path (/build/publish/debug). We write to a temp
# file and then replace the original instead of modifying in-place.
# This is safer and more portable.
sed "s|https://s\.keyman\.com/kmw/engine/[0-9]*\.[0-9]*\.[0-9]*/|/build/publish/${config}/|g" \
"${f}" > "${f}.tmp" && mv "${f}.tmp" "${f}"
done