diff options
| author | sanmiguel <[email protected]> | 2017-02-05 20:07:26 +0100 |
|---|---|---|
| committer | sanmiguel <[email protected]> | 2017-02-05 20:07:26 +0100 |
| commit | d9ac889f32d1de4f8ba06e6ee5ccffd79fa86327 (patch) | |
| tree | 296abe10fdab6dbf5d1d90ef4c7c79be25ab170c | |
| parent | 35a9c701e0538e924aa04fdb0331080867898078 (diff) | |
| download | kerl-d9ac889f32d1de4f8ba06e6ee5ccffd79fa86327.tar.gz kerl-d9ac889f32d1de4f8ba06e6ee5ccffd79fa86327.tar.bz2 kerl-d9ac889f32d1de4f8ba06e6ee5ccffd79fa86327.zip | |
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
| -rwxr-xr-x | kerl | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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" |