jutty/tori
1
1
Fork 0
Code Issues Pull requests Releases 1 Activity

"Decide-in-editor" package conflict resolution strategy #2

Merged
jutty merged 6 commits from editor-package-resolution-strategy into main 2024-07-20 22:04:29 +02:00
Conversation 0 Commits 6 Files changed 10 +6 -6
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 18af77ba26 - Show all commits

12
src/utility.sh
View file

@ -4,12 +4,12 @@ log() {
local level="$1" local level="$1"
local message="$2" local message="$2"
if [ $level = fatal ]; then if [ "$level" = fatal ]; then
printf "[tori] $(date "+%H:%M:%S"): $message\n" 1>&2 echo "[tori] $(date "+%H:%M:%S"): $message" 1>&2
elif [ $level = user ]; then elif [ "$level" = user ]; then
printf "[tori] $(date "+%H:%M:%S"): $message\n" 1>&2 echo "[tori] $(date "+%H:%M:%S"): $message" 1>&2
elif [ -n "$DEBUG" ] && [ $level = debug ]; then elif [ -n "$DEBUG" ] && [ "$level" = debug ]; then
printf "$(date "+%H:%M:%N") $message\n" 1>&2 echo "$(date "+%H:%M:%N") $message" 1>&2
fi fi
} }