diff --git a/config/config.sh b/config/config.sh index 423cd166..ab9dccb3 100644 --- a/config/config.sh +++ b/config/config.sh @@ -12,7 +12,7 @@ umask 0022 export SCODOC_DIR=/opt/scodoc/Products/ScoDoc -export SCODOC_VAR_DIR=$(realpath "$SCODOC_DIR/../../var/scodoc") +export SCODOC_VAR_DIR=$(realpath -L "$SCODOC_DIR/../../var/scodoc") # = /opt/scodoc/var/scodoc export SCODOC_VERSION_DIR="${SCODOC_VAR_DIR}/config/version" export SCODOC_LOGOS_DIR="${SCODOC_VAR_DIR}/config/logos" diff --git a/config/delete_dept.sh b/config/delete_dept.sh index d5e2bce2..cec81d01 100755 --- a/config/delete_dept.sh +++ b/config/delete_dept.sh @@ -82,6 +82,7 @@ then exit 0 else echo 'Attention: pas de configuration trouvee pour "'"$DEPT"'"' + echo " fichier cherché: $cfg_pathname" echo " => ne fait rien." exit 0 fi