#!/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" if [ -z "$SCODOC_UPGRADE_RUNNING" ] then apt-get update && apt-get -y dist-upgrade # 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" fi systemctl restart redis systemctl restart nginx systemctl restart scodoc9