ScoDoc/tools/debian/preinst

#!/bin/bash

# Pre-installation de scodoc

# ------------ Safety checks
# Version majeure de Debian (..., 9, 10)
debian_version=$(cat /etc/debian_version)
debian_version=${debian_version%%.*}
if [ "${debian_version}" != "11" ]
then
   echo "Version du systeme Linux Debian incompatible"
   exit 1
fi

if [ "$(arch)" != "x86_64" ]
then
   echo "Version du systeme Linux Debian incompatible (pas X86 64 bits)"
   exit 1
fi