diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-06-16 22:23:53 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-06-16 22:23:53 (GMT) |
commit | 5e07f7cfc3292f4c185a570546e449b096056da7 (patch) | |
tree | 54db73ad95a7ceda786f66fea50de9301fbb7161 /scripts/functions | |
parent | d8bc11b1653185bc826680243cc32b87a6451df2 (diff) |
scripts/functions is responsible for initiating the log file.
Users of the log facility are in charge to use, move, delete this log file, now.
Diffstat (limited to 'scripts/functions')
-rw-r--r-- | scripts/functions | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/functions b/scripts/functions index e14cf35..d66fe22 100644 --- a/scripts/functions +++ b/scripts/functions @@ -35,6 +35,13 @@ set -o pipefail # shared is not found set +o hashall +# Log policy: +# - first of all, save stdout so we can see the live logs: fd #6 +exec 6>&1 +# - then point stdout to the log file (temporary for now) +tmp_log_file="${CT_TOP_DIR}/log.$$" +exec >>"${tmp_log_file}" + # The different log levels: CT_LOG_LEVEL_ERROR=0 CT_LOG_LEVEL_WARN=1 |