Make section headers use indent.

master
Icedream 2018-02-20 03:24:04 +01:00
parent 2f04e46bba
commit ca44a67c9d
Signed by: icedream
GPG Key ID: 1573F6D8EFE4D0CF
1 changed files with 4 additions and 4 deletions

View File

@ -27,16 +27,16 @@ has_binary() {
section() { section() {
if [ $PROFILE_DEBUG -gt 0 ]; then if [ $PROFILE_DEBUG -gt 0 ]; then
echo "${PROFILE_DEBUG_SECTION_START_PREFIX}$(tput smso)$*$(tput rmso)" log "${PROFILE_DEBUG_SECTION_START_PREFIX}$(tput smso)$*$(tput rmso)"
fi fi
DEBUG_INDENT=$(expr $DEBUG_INDENT + 1) DEBUG_INDENT=$(expr $DEBUG_INDENT + 1)
} }
section_end() { section_end() {
if [ $PROFILE_DEBUG -gt 0 ]; then
echo "$PROFILE_DEBUG_SECTION_END_TEXT"
fi
DEBUG_INDENT=$(expr $DEBUG_INDENT - 1) DEBUG_INDENT=$(expr $DEBUG_INDENT - 1)
if [ $PROFILE_DEBUG -gt 0 ]; then
log "$PROFILE_DEBUG_SECTION_END_TEXT"
fi
} }
log() { log() {