#!/bin/sh set -e # summary of how this script can be called: # * `remove' # * `upgrade' # * `failed-upgrade' # * `remove' `in-favour' # * `deconfigure' `in-favour' # `removing' # # for details, see http://www.debian.org/doc/debian-policy/ or # the debian-policy package case "$1" in remove|upgrade|deconfigure) # Check if SourceGit is running and stop it if pidof -q sourcegit || pgrep -f sourcegit > /dev/null; then echo "SourceGit is running, stopping it before removal..." killall sourcegit 2>/dev/null || pkill -f sourcegit 2>/dev/null || true # Wait for SourceGit to exit sleep 1 fi ;; failed-upgrade) ;; *) echo "prerm called with unknown argument \`$1'" >&2 exit 1 ;; esac exit 0