mirror of
https://github.com/sourcegit-scm/sourcegit
synced 2025-05-29 08:04:59 +00:00
32 lines
800 B
Bash
Executable file
32 lines
800 B
Bash
Executable file
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
# summary of how this script can be called:
|
|
# * <new-preinst> `install'
|
|
# * <new-preinst> `install' <old-version>
|
|
# * <new-preinst> `upgrade' <old-version>
|
|
# * <old-preinst> `abort-upgrade' <new-version>
|
|
# for details, see http://www.debian.org/doc/debian-policy/
|
|
|
|
case "$1" in
|
|
install|upgrade)
|
|
# Check if SourceGit is running and stop it
|
|
if pgrep -f '/opt/sourcegit/sourcegit' > /dev/null; then
|
|
echo "Stopping running SourceGit instance..."
|
|
pkill -f '/opt/sourcegit/sourcegit' || true
|
|
# Give the process a moment to terminate
|
|
sleep 1
|
|
fi
|
|
;;
|
|
|
|
abort-upgrade)
|
|
;;
|
|
|
|
*)
|
|
echo "preinst called with unknown argument \`$1'" >&2
|
|
exit 1
|
|
;;
|
|
esac
|
|
|
|
exit 0
|