From f568d43caad54757ff2efecf544a6d8d785a935e Mon Sep 17 00:00:00 2001 From: Sergio Benitez Date: Mon, 9 May 2022 04:58:28 -0500 Subject: [PATCH] Print more variables from 'config.sh -p'. --- scripts/config.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/config.sh b/scripts/config.sh index 8eb6e78d..3fc04ad3 100755 --- a/scripts/config.sh +++ b/scripts/config.sh @@ -102,6 +102,8 @@ function print_environment() { echo " VERSION: ${VERSION}" echo " MAJOR_VERSION: ${MAJOR_VERSION}" echo " CODENAME: ${CODENAME}" + echo " PHYSICAL_CODENAME: ${PHYSICAL_CODENAME}" + echo " VIRTUAL_CODENAME: ${VIRTUAL_CODENAME}" echo " DOC_VERSION: ${DOC_VERSION}" echo " CURRENT_RELEASE: ${CURRENT_RELEASE}" echo " PRE_RELEASE: ${PRE_RELEASE}"