From 8fa405e41e73a7dfa083debdb970df7e63ac3997 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakobus=20Sch=C3=BCrz?= Date: Thu, 22 Oct 2020 08:56:07 +0200 Subject: [PATCH] improve output --- bashrc_add | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bashrc_add b/bashrc_add index 1a7a92a..1da02b7 100755 --- a/bashrc_add +++ b/bashrc_add @@ -63,7 +63,7 @@ if [[ $- = *i* ]] ; then . ${MYSHELLCONFIG_BASE}/logging cat << EOF >> "${MYSHELLCONFIG_LOGFILE}" - ------- start configure new shell -------------- $(date) ---------------8<-- +==8<=== start configure new shell ============== $(date) ===============8<== EOF @@ -157,7 +157,7 @@ EOF cat << EOF >> "${MYSHELLCONFIG_LOGFILE}" - --8<--- finished configure new shell ---------------- $(date) ---------------8<-- +==8<=== finished configure new shell ================ $(date) ===============8<== EOF #else