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

Polishes up the script for easier maintenance

Browse source
This commit is contained in:
Joshua A. Horton 2019-09-25 10:41:32 +07:00
parent 8216fdaab0
commit 663ca38e46
1 changed files with 36 additions and 44 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

80
android/build-help.sh
View file

@ -9,12 +9,24 @@ LOCAL=.local
WAIT=
# When running against live servers, it's best to have a small wait between loads.
# Cloudflare may frown on not waiting, as `wget` is basically a scraper/bot.
#WAIT="--wait=2"
# Allows tracking slightly different settings for different offline-mirroring ops
# should we decide to extract the actual mirroring function into its own file.
#
# iOS uses "--no-directories" instead, at least for now.
OPTIONS="--no-host-directories"
DEVICE=android
HELP_SITE_SECTION=products/android
HELP_ROOT=KMAPro/kMAPro/src/main/assets/info
# Clear previous help file downloads (if they exist)
if [ -d "$HELP_ROOT" ]; then
rm -r "$HELP_ROOT"
fi
VERSION=`cat ../resources/VERSION.md`
# If TIER is set to "alpha", use the previous version. Help is usually only updated during
@ -31,55 +43,35 @@ if [ $TIER = "alpha" ]; then
VERSION="$((${BASH_REMATCH[1]}-1)).0"
fi
# Clear previous help file downloads (if they exist)
if [ -d "$HELP_ROOT" ]; then
rm -r "$HELP_ROOT"
fi
do_offline_mirror() {
# $1 - the form-factor specification.
# Create local mirror of the help page subdirectory.
# We don't need /font/deploy folder resources, so they're excluded here.
# One of the .css files auto-includes them otherwise.
wget --mirror \
--convert-links \
$WAIT \
--keep-session-cookies \
--page-requisites \
--no-parent \
--no-host-directories \
--restrict-file-names=windows \
--exclude-directories /font/deploy \
--directory-prefix="$HELP_ROOT" \
--default-page=index.php \
--adjust-extension \
"help.keyman.com$LOCAL/$HELP_SITE_SECTION/$VERSION/index.php?embed=$DEVICE"
# Create local mirror of the help page subdirectory.
# We don't need /font/deploy folder resources, so they're excluded here.
# One of the .css files auto-includes them otherwise.
wget --mirror \
--convert-links \
$WAIT \
--keep-session-cookies \
--page-requisites \
--no-parent \
$OPTIONS \
--restrict-file-names=windows \
--exclude-directories /font/deploy \
--directory-prefix="$HELP_ROOT" \
--default-page=index.php \
--adjust-extension \
"help.keyman.com$LOCAL/$HELP_SITE_SECTION/$VERSION/index.php?embed=$DEVICE&formfactor=$1"
# Results in a flat-structured mirror of the iphone-and-ipad/$VERSION folder,
# together with all needed resources within the 'site' folder.
# Results in a flat-structured mirror of the specified folder,
# together with all needed resources within the 'site' folder.
}
# Now for some magic... we rename the -page- folder and redownload with the other setting.
do_offline_mirror "phone"
# Now for some magic... we rename the page's folder and redownload with the other setting.
mv ./$HELP_ROOT/$HELP_SITE_SECTION/$VERSION ./$HELP_ROOT/$HELP_SITE_SECTION/phone
# Create local mirror of the help page subdirectory.
# We don't need /font/deploy folder resources, so they're excluded here.
# One of the .css files auto-includes them otherwise.
wget --mirror \
--convert-links \
$WAIT \
--keep-session-cookies \
--page-requisites \
--no-parent \
--no-host-directories \
--restrict-file-names=windows \
--exclude-directories /font/deploy \
--directory-prefix="$HELP_ROOT" \
--default-page=index.php \
--adjust-extension \
"help.keyman.com$LOCAL/$HELP_SITE_SECTION/$VERSION/index.php?embed=$DEVICE"
# Results in a flat-structured mirror of the iphone-and-ipad/$VERSION folder,
# together with all needed resources within the 'site' folder.
# Now for some magic... we rename the -page- folder and redownload with the other setting.
do_offline_mirror "tablet"
mv ./$HELP_ROOT/$HELP_SITE_SECTION/$VERSION ./$HELP_ROOT/$HELP_SITE_SECTION/tablet