ScoDoc/tools/upgrade.sh

#!/bin/bash

# Upgrade ScoDoc installation using APT
#
# This script STOP and RESTART ScoDoc and should be runned as root
#
# Upgrade also the Linux system using apt.
#
# Script for ScoDoc 9. Lancé automatiquement par scodoc-updater.
#
# E. Viennet, sep 2013, mar 2017, jun 2019, aug 2020, dec 2020, aug 21

set -euo pipefail

# Le répertoire de ce script:
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"

source "$SCRIPT_DIR/config.sh"
source "$SCRIPT_DIR/utils.sh"

cd "$SCODOC_DIR" || { echo "Invalid directory"; exit 1; }

export DEBIAN_FRONTEND=noninteractive

check_uid_root "$0"

apt-get update && apt-get -y dist-upgrade || alarm_admin "apt-get dist-upgrade failed"
# install spécifiquement scodoc9, utile si les dépendances Debian de scodoc9
# ont été changées, ce qui peut provoquer un
# "packages have been kept back"
apt install scodoc9 || alarm_admin "apt install scodoc9 failed"

systemctl restart redis
systemctl restart nginx
systemctl restart scodoc9