blob: 9618b5e31e9334822e57b6381612069ec948f3ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/bin/bash
if [[ -z "$GIT_DIR" ]]; then
GIT_DIR="$(dirname "$(realpath "$0")")/../.git"
fi
cd "$GIT_DIR/.."
changes=$(git diff --name-only @{1})
# Exit if nothing has changed
[[ -z "$changes" ]] && exit
# Update databse
php index.php tools update_database
# Minify javascript
if echo "$changes" | grep data/js/ > /dev/null; then
scripts/optimize_js.sh
fi
if [[ ! -f ./data/js/main.min.js ]]; then
scripts/optimize_js.sh
fi
# Show changes to NEWS
git diff @{1} NEWS | cat
|
