mirror of
https://codeberg.org/forgejo/forgejo.git
synced 2024-08-22 12:38:06 +02:00
#12391 offered to change the default PID file from /var/run/gitea.pid however in discussion it was decided that this could break users of older systems. An alternative was offered that we could make the PID file compile/link time settable. This PR does this, and changes the name of the setting from CustomPID to simply PIDFile. It also updates the from-source docs to show how to change the compiler settings to do this. Closes #12391 Signed-off-by: Andrew Thornton <art27@cantab.net> Co-authored-by: Florian Klink <flokli@flokli.de>
89 lines
2.1 KiB
Bash
89 lines
2.1 KiB
Bash
#!/bin/sh
|
|
### BEGIN INIT INFO
|
|
# Provides: gitea
|
|
# Required-Start: $syslog $network
|
|
# Required-Stop: $syslog
|
|
# Default-Start: 2 3 4 5
|
|
# Default-Stop: 0 1 6
|
|
# Short-Description: A self-hosted Git service written in Go.
|
|
# Description: A self-hosted Git service written in Go.
|
|
### END INIT INFO
|
|
|
|
# Author: Danny Boisvert
|
|
|
|
# Do NOT "set -e"
|
|
|
|
# PATH should only include /usr/* if it runs after the mountnfs.sh script
|
|
PATH=/sbin:/usr/sbin:/bin:/usr/bin:/usr/local/bin
|
|
DESC="Gitea - Git with a cup of tea"
|
|
NAME=gitea
|
|
SERVICEVERBOSE=yes
|
|
PIDFILE=/run/$NAME.pid
|
|
SCRIPTNAME=/etc/init.d/$NAME
|
|
WORKINGDIR=/var/lib/$NAME
|
|
DAEMON=/usr/local/bin/$NAME
|
|
DAEMON_ARGS="web -c /etc/$NAME/app.ini"
|
|
USER=git
|
|
USERBIND=""
|
|
# If you want to bind Gitea to a port below 1024 uncomment
|
|
# the line below
|
|
#USERBIND="setcap cap_net_bind_service=+ep"
|
|
STOP_SCHEDULE="${STOP_SCHEDULE:-QUIT/5/TERM/1/KILL/5}"
|
|
|
|
# Read configuration variable file if it is present
|
|
[ -r /etc/default/$NAME ] && . /etc/default/$NAME
|
|
|
|
# Exit if the package is not installed
|
|
[ -x "$DAEMON" ] || exit 0
|
|
|
|
do_start()
|
|
{
|
|
$USERBIND $DAEMON
|
|
sh -c "USER=$USER HOME=/home/$USER GITEA_WORK_DIR=$WORKINGDIR start-stop-daemon --start --quiet --pidfile $PIDFILE --make-pidfile \\
|
|
--background --chdir $WORKINGDIR --chuid $USER \\
|
|
--exec $DAEMON -- $DAEMON_ARGS"
|
|
}
|
|
|
|
do_stop()
|
|
{
|
|
start-stop-daemon --stop --quiet --retry=$STOP_SCHEDULE --pidfile $PIDFILE --name $NAME --oknodo
|
|
rm -f $PIDFILE
|
|
}
|
|
|
|
do_status()
|
|
{
|
|
if [ -f $PIDFILE ]; then
|
|
if kill -0 $(cat "$PIDFILE"); then
|
|
echo "$NAME is running, PID is $(cat $PIDFILE)"
|
|
else
|
|
echo "$NAME process is dead, but pidfile exists"
|
|
fi
|
|
else
|
|
echo "$NAME is not running"
|
|
fi
|
|
}
|
|
|
|
case "$1" in
|
|
start)
|
|
echo "Starting $DESC" "$NAME"
|
|
do_start
|
|
;;
|
|
stop)
|
|
echo "Stopping $DESC" "$NAME"
|
|
do_stop
|
|
;;
|
|
status)
|
|
do_status
|
|
;;
|
|
restart)
|
|
echo "Restarting $DESC" "$NAME"
|
|
do_stop
|
|
do_start
|
|
;;
|
|
*)
|
|
echo "Usage: $SCRIPTNAME {start|stop|status|restart}" >&2
|
|
exit 2
|
|
;;
|
|
esac
|
|
|
|
exit 0
|