+get_files() {
+ GIT_DIR=$VCSH_REPO_D/$VCSH_REPO_NAME.git; export GIT_DIR
+ git ls-files
+}
+
+list_tracked() {
+ for VCSH_REPO_NAME in $(list); do
+ get_files
+ done | sed "s,^,$(printf '%s\n' "$VCSH_BASE/" | \
+ sed 's/[,\&]/\\&/g')," | sort -u
+}
+
+list_tracked_by() {
+ use
+ git ls-files | sed "s,^,$(printf '%s\n' "$VCSH_BASE/" | \
+ sed 's/[,\&]/\\&/g')," | sort -u
+}
+
+pull() {
+ hook pre-pull
+ for VCSH_REPO_NAME in $(list); do
+ printf '%s: ' "$VCSH_REPO_NAME"
+ GIT_DIR=$VCSH_REPO_D/$VCSH_REPO_NAME.git; export GIT_DIR
+ use
+ git pull
+ VCSH_COMMAND_RETURN_CODE=$?
+ echo
+ done
+ hook post-pull
+}
+
+push() {
+ hook pre-push
+ for VCSH_REPO_NAME in $(list); do
+ printf '%s: ' "$VCSH_REPO_NAME"
+ GIT_DIR=$VCSH_REPO_D/$VCSH_REPO_NAME.git; export GIT_DIR
+ use
+ git push
+ VCSH_COMMAND_RETURN_CODE=$?
+ echo
+ done
+ hook post-push
+}
+
+retire() {
+ unset VCSH_DIRECTORY
+}
+
+list_untracked() {
+ temp_file_others=$(mktemp) || fatal 'Could not create temp file'
+ temp_file_untracked=$(mktemp) || fatal 'Could not create temp file'
+ temp_file_untracked_copy=$(mktemp) || fatal 'Could not create temp file'
+
+ # create dummy git repo
+ temp_repo=$(mktemp -d)
+ (
+ cd $temp_repo
+ git init -q
+ mktemp -p $(pwd) > /dev/null
+ git add .
+ git commit -q -m "dummy"
+ )
+
+ export GIT_DIR=$temp_repo/.git
+ git ls-files --others --directory | sort -u > $temp_file_untracked
+
+ for VCSH_REPO_NAME in $(list); do
+ export GIT_DIR="$VCSH_REPO_D/$VCSH_REPO_NAME.git"
+ git ls-files --others --directory | (
+ while read line; do
+ echo "$line"
+ printf '%s/\n' "$(echo "$line" | cut -d'/' -f1)"
+ done
+ ) | sort -u > $temp_file_others
+ cp $temp_file_untracked $temp_file_untracked_copy
+ comm -12 --nocheck-order $temp_file_others $temp_file_untracked_copy > $temp_file_untracked
+ done
+ cat $temp_file_untracked
+ rm -f $temp_file_others $temp_file_untracked $temp_file_untracked_copy || fatal 'Could not delete temp files'
+ rm -rf $temp_repo || fatal 'Could not delete temp repo'
+}
+
+rename() {
+ git_dir_exists
+ [ -d "$GIT_DIR_NEW" ] && fatal "'$GIT_DIR_NEW' exists" 54
+ mv -f "$GIT_DIR" "$GIT_DIR_NEW" || fatal "Could not mv '$GIT_DIR' '$GIT_DIR_NEW'" 52
+
+ # Now that the repository has been renamed, we need to fix up its configuration
+ # Overwrite old name..
+ GIT_DIR=$GIT_DIR_NEW
+ VCSH_REPO_NAME=$VCSH_REPO_NAME_NEW
+ # ..and clobber all old configuration
+ upgrade
+}
+