|
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
set -x
|
|
|
|
|
|
|
|
|
|
SRCDIR=html_src
|
|
|
|
|
BLDDIR=html
|
|
|
|
|
|
|
|
|
|
rm -rf "$BLDDIR/pages"
|
|
|
|
|
rm -rf "$BLDDIR/js"
|
|
|
|
|
rm -rf "$BLDDIR/css"
|
|
|
|
|
rm -rf "$BLDDIR/img"
|
|
|
|
|
|
|
|
|
|
cd "$SRCDIR"
|
|
|
|
|
gulp --production
|
|
|
|
|
cd ..
|
|
|
|
|
|
|
|
|
|
cp -R "$SRCDIR/css" "$BLDDIR"
|
|
|
|
|
cp -R "$SRCDIR/js" "$BLDDIR"
|
|
|
|
|
cp -R "$SRCDIR/img" "$BLDDIR"
|
|
|
|
|
|
|
|
|
|
find "$BLDDIR" -name "*.map" -delete
|
|
|
|
|
|
|
|
|
|
mkdir -p "$BLDDIR/pages"
|
|
|
|
|
|
|
|
|
|
php "$SRCDIR/page_status.php" > "$BLDDIR/pages/status.tpl"
|
|
|
|
|
php "$SRCDIR/page_about.php" > "$BLDDIR/pages/about.tpl"
|
|
|
|
|
php "$SRCDIR/page_wifi.php" > "$BLDDIR/pages/wifi.tpl"
|
|
|
|
|
php "$SRCDIR/page_monitoring.php" > "$BLDDIR/pages/monitoring.tpl"
|
|
|
|
|
php "$SRCDIR/page_waveform.php" > "$BLDDIR/pages/wfm.html" # no substitutions, .html allows to gzip it.
|
|
|
|
|
php "$SRCDIR/page_fft.php" > "$BLDDIR/pages/fft.html" # same
|
|
|
|
|
php "$SRCDIR/page_spectrogram.php" > "$BLDDIR/pages/sgm.html" # same
|
