1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/sh
# geogebra.sh
# This script can be used with two switches:
#
# --makesrc <path> this one tells a path, where something from a third party
# can be installed
# --install <path> that one make all actions necessay at install time when
# the binary packages are built. path is usually DESTDIR
githubRepo=https://github.com/ten1seven/what-input
tag=v3.0.0
pkgdir=what-input-3.0.0
sha1sum=84bb7ce41edd258dd48ab26ec796e781dec36cd2
if [ "$1" = "--makesrc" ]; then
pkgroot=$2
# beautify the file deployggb.js
cd ${pkgroot}/wims/public_html/scripts/js/geogebra
uglifyjs -b -i2 deployggb.js > tmp && mv tmp deployggb.js
fi
if [ "$1" = "--install" ]; then
DESTDIR=$2
fi
|
