From d9ac889f32d1de4f8ba06e6ee5ccffd79fa86327 Mon Sep 17 00:00:00 2001 From: sanmiguel Date: Sun, 5 Feb 2017 20:07:26 +0100 Subject: Fix handling of KERL_INSTALL_HTMLDOCS and KERL_PROMPT We had no handling for KERL_INSTALL_HTMLDOCS being set in the shell properly, as KERL_INSTALL_MANPAGES is handled There was a typo in the use of KERL_PROMPT in CSH activate scripts --- kerl | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/kerl b/kerl index c96877d..ed6f0ec 100755 --- a/kerl +++ b/kerl @@ -69,6 +69,9 @@ fi if [ -n "$KERL_INSTALL_MANPAGES" ]; then _KIM="$KERL_INSTALL_MANPAGES" fi +if [ -n "$KERL_INSTALL_HTMLDOCS" ]; then + _KIHD="$KERL_INSTALL_HTMLDOCS" +fi if [ -n "$KERL_BUILD_PLT" ]; then _KBPLT="$KERL_BUILD_PLT" fi @@ -86,6 +89,7 @@ KERL_SASL_STARTUP= KERL_DEPLOY_SSH_OPTIONS= KERL_DEPLOY_RSYNC_OPTIONS= KERL_INSTALL_MANPAGES= +KERL_INSTALL_HTMLDOCS= KERL_BUILD_PLT= KERL_BUILD_DOCS= KERL_BUILD_BACKEND= @@ -120,6 +124,9 @@ fi if [ -n "$_KIM" ]; then KERL_INSTALL_MANPAGES="$_KIM" fi +if [ -n "$_KIHD" ]; then + KERL_INSTALL_HTMLDOCS="$_KIHD" +fi if [ -n "$_KBPLT" ]; then KERL_BUILD_PLT="$_KBPLT" fi @@ -841,7 +848,7 @@ if ( -f "$KERL_CONFIG.csh" ) then endif if ( \$?KERL_ENABLE_PROMPT ) then - set _KERL_SAVED_PROMP = "\$prompt" + set _KERL_SAVED_PROMPT = "\$prompt" if ( \$?KERL_PROMPT_FORMAT ) then set FRMT = "\$KERL_PROMPT_FORMAT" -- cgit v1.2.3