File: geogebra.sh

package info (click to toggle)
wims 2%3A4.29a%2Bdfsg1-3
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 185,704 kB
  • sloc: xml: 366,687; javascript: 120,570; ansic: 62,341; java: 62,170; sh: 7,744; perl: 3,937; yacc: 3,217; cpp: 1,915; lex: 1,805; makefile: 1,084; lisp: 914; pascal: 601; python: 520; php: 318; asm: 7
file content (24 lines) | stat: -rw-r--r-- 734 bytes parent folder | download | duplicates (3)
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
    js-beautify -w80 -s2 -n  deployggb.js > tmp && mv tmp deployggb.js
fi

if [ "$1" = "--install" ]; then
    DESTDIR=$2
fi