From 492f2eef5c2421ae1c05cde8119c7a46511a93a8 Mon Sep 17 00:00:00 2001 From: Dieter Plaetinck Date: Thu, 24 Nov 2011 20:31:52 +0100 Subject: [PATCH] Make info calls consistent --- vcsh | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/vcsh b/vcsh index 59c4237..ae0fa68 100755 --- a/vcsh +++ b/vcsh @@ -44,6 +44,10 @@ fatal () { exit $2 } +info () { + echo "$SELF: info: $1" +} + setup() { git config core.worktree "$GIT_WORK_TREE" git config core.excludesfile ".gitignore.d/$VCSH_REPO_NAME" @@ -120,7 +124,7 @@ do if [ -e "$check_directory" ]; then fatal "$check_directory exists but is not a directory" 13 else - echo "$SELF: info: attempting to create $check_directory" + info "attempting to create $check_directory" mkdir -p "$check_directory" || fatal "could not create $check_directory" 50 fi fi @@ -154,7 +158,7 @@ elif [ "$VCSH_COMMAND" = 'delete' ]; then old_dir="$PWD" cd "$HOME" use || exit $? - echo "$SELF: info: This operation WILL DETROY DATA!" + info "This operation WILL DETROY DATA!" files=$(git ls-files) echo "These files will be deleted: @@ -165,9 +169,9 @@ To continue, type \"Yes, do as I say\"" read answer [ "x$answer" = "xYes, do as I say" ] || exit 16 for file in $files; do - rm -f $file || echo "$SELF: info: could not delete '$file', continuing with deletion" + rm -f $file || info "could not delete '$file', continuing with deletion" done - rm -rf "$GIT_DIR" || echo "$SELF: info: could not delete '$GIT_DIR'" + rm -rf "$GIT_DIR" || info "could not delete '$GIT_DIR'" cd "$old_dir" verbose "delete end" @@ -219,7 +223,7 @@ elif [ "$VCSH_COMMAND" = 'seed-gitignore' ]; then rm -f "$tempfile" && exit if [ -e "$HOME/.gitignore.d/$VCSH_REPO_NAME" ]; then - echo "$SELF: info: $HOME/.gitignore.d/$VCSH_REPO_NAME differs from new data, moving it to $HOME/.gitignore.d/$VCSH_REPO_NAME.bak" + info "$HOME/.gitignore.d/$VCSH_REPO_NAME differs from new data, moving it to $HOME/.gitignore.d/$VCSH_REPO_NAME.bak" mv -f "$HOME/.gitignore.d/$VCSH_REPO_NAME" "$HOME/.gitignore.d/$VCSH_REPO_NAME.bak" || fatal "could not move $HOME/.gitignore.d/$VCSH_REPO_NAME to $HOME/.gitignore.d/$VCSH_REPO_NAME.bak" 53 fi -- 2.39.2