diff --git a/sco_version.py b/sco_version.py index fdb3e9bf..9ad23532 100644 --- a/sco_version.py +++ b/sco_version.py @@ -12,6 +12,7 @@ SCONEWS = """
  • ScoDoc 9.6 (juillet 2023)
  • ScoDoc 9.5 (juillet 2023)
  • diff --git a/tools/config.sh b/tools/config.sh index 9d726035..2a6c1627 100644 --- a/tools/config.sh +++ b/tools/config.sh @@ -40,10 +40,10 @@ export SCODOC_DB_TEST="SCODOC_TEST" # psql command: if various versions installed, force the one we want: -if [ "${debian_version}" = "11" ] +if [ "${debian_version}" = "12" ] then - PSQL=/usr/lib/postgresql/13/bin/psql - export POSTGRES_SERVICE="postgresql@11-main.service" + PSQL=/usr/lib/postgresql/15/bin/psql + #export POSTGRES_SERVICE="postgresql@11-main.service" else die "unsupported Debian version" fi