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

Minor tweaks to offline mirror script

Browse source
This commit is contained in:
jahorton 2019-09-19 12:09:51 +07:00
parent 32e522efda
commit 67ac12969f
1 changed files with 15 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
ios/build-help.sh
View file

@ -5,14 +5,25 @@
HELP_ROOT=keyman/Keyman/resources/OfflineHelp.bundle/Contents/Resources
if [ -z $VERSION ]; then
VERSION="12.0" # Set manually here because alpha versions usually don't have
# matching help yet.
VERSION=`cat ../resources/VERSION.md`
# If TIER is set to "alpha", use the previous version. Help is usually only updated during
# the "beta" process.
if [ -z $TIER ]; then
# Prevents an error message on the next check. Also, manual runs will likely be during beta.
TIER=beta
fi
if [ $TIER = "alpha" ]; then
# More readable: (major).minor
[[ "$VERSION" =~ ([0-9]+)\.[0-9]+ ]]
# Construct a decremented version string with .minor set to .0
$VERSION="$((${BASH_REMATCH[1]}-1)).0"
fi
# Clear previous help file downloads (if they exist)
if [ -d "$HELP_ROOT" ]; then
rm -r "$HELP_ROOT/*"
rm -r "$HELP_ROOT"
fi
# Create local mirror of the help page subdirectory.