git-case-mark

#!/bin/bash
#
# Assumptions:
#  - in a git repository
#  - we can access git-case-common
#  - the branch defined by GIT_CASE_HEAD exists (see git-case-common)

source $(dirname $0)/git-case-common

test -z "$1" && die "$PROGRAM [-d] <mark-name>"

action="set"
if test "$1" = "-d" ; then
        action="removed"
        shift
fi

MARK="$1"
echo "$MARK" | grep -q '^[a-zA-Z0-9][a-zA-Z0-9._-]*$' || die "format of mark '$MARK' is invalid"

ID=$(cat "$GIT_CASE_ACTIVE" 2>/dev/null || true)
test -z "$ID" && die "no active case set"
shortID=$(gen_short_case_id "$ID")

MARK_FILE="$ID/marks/$MARK"

count=$(git ls-tree $GIT_CASE_HEAD "$MARK_FILE" | wc -l)
if test "$action" = "set" -a "$count" -ne "0" ; then
        die "mark '$MARK' already set on case $shortID"
fi
if test "$action" = "removed" -a "$count" -ne "1" ; then
        die "no mark '$MARK' set on case $shortID"
fi

# we work in the working dir
go_to_git_case_work_dir

git read-tree -i --reset "$GIT_CASE_HEAD"

if test "$action" = "set" ; then
        add_file_to_index "$MARK_FILE" ""
else
        git update-index --remove "$MARK_FILE"
fi

commit_index_and_update_branch "mark '$MARK' $action on $ID" "-p $GIT_CASE_HEAD"