update.sh: Update and run as directory owner

master
Felix Stupp 5 years ago
parent 48b47cd21a
commit a1c2a3d27f
Signed by: zocker
GPG Key ID: 93E1BD26F6B02FB7

@ -6,6 +6,16 @@ if [ $# -eq 1 ]; then
cd "$1";
fi
user=$(stat -c '%U' .);
r() {
sudo -u "$user" $@;
}
git() {
r git $@;
}
PREFIX=release;
CONF_SCRIPT="configure.sh";
@ -14,7 +24,7 @@ TAG=$(git tag --list | grep "^$PREFIX-" | sort -r | head -n 1);
if git verify-tag --raw "$TAG" 2>&1 | grep "TRUST_ULTIMATE" > /dev/null; then
git checkout -q "$TAG";
if [ -f "$CONF_SCRIPT" ]; then
./$CONF_SCRIPT;
r ./$CONF_SCRIPT;
fi
else
echo "Invalid or missing signature for $TAG" >&2;

Loading…
Cancel
Save