+}
+
+delete() {
+ old_dir="$PWD"
+ cd "$HOME"
+ use
+ info "This operation WILL DETROY DATA!"
+ files=$(git ls-files)
+ echo "These files will be deleted:
+
+$files
+
+AGAIN, THIS WILL DELETE YOUR DATA!
+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 || info "could not delete '$file', continuing with deletion"
+ done
+ rm -rf "$GIT_DIR" || info "could not delete '$GIT_DIR'"
+ cd "$old_dir"
+}
+
+enter() {
+ use
+ $SHELL
+}
+
+init() {
+ [ ! -e "$GIT_DIR" ] || fatal "'$GIT_DIR' exists" 10
+ export GIT_WORK_TREE="$HOME"
+ mkdir -p "$GIT_WORK_TREE"
+ cd "$GIT_WORK_TREE" || fatal "could not enter '$GIT_WORK_TREE'" 11
+ git init
+ setup
+}
+
+list() {
+ for i in "$VCSH_BASE"/*.git; do
+ echo $(basename "$i" .git)
+ done
+}
+
+run() {
+ use
+ $VCSH_EXTERNAL_COMMAND
+}
+
+seed_gitignore() {
+ use
+ # Switching directory as this has to be executed from $HOME to be of any use.
+ # Going back into old directory at the end in case `vcsh use` is reactivated.
+ old_dir="$PWD"
+ cd "$HOME"
+ gitignores=$(for file in $(git ls-files); do
+ while true; do
+ echo $file; new="${file%/*}"
+ [ "$file" = "$new" ] && break
+ file="$new"
+ done;
+ done | sort -u)
+ tempfile=$(mktemp) || fatal "could not create tempfile" 51
+ echo '*' > "$tempfile"
+ for gitignore in $gitignores; do
+ echo "$gitignore" | sed 's/^/!/' >> "$tempfile"
+ [ -d "$gitignore" ] && echo "$gitignore/*" | sed 's/^/!/'>> "$tempfile"
+ done
+ diff -N "$tempfile" "$HOME/.gitignore.d/$VCSH_REPO_NAME" > /dev/null &&
+ rm -f "$tempfile" &&
+ exit
+ if [ -e "$HOME/.gitignore.d/$VCSH_REPO_NAME" ]; then
+ 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
+ mv -f "$tempfile" "$HOME/.gitignore.d/$VCSH_REPO_NAME" ||
+ fatal "could not move '$tempfile' to '$HOME/.gitignore.d/$VCSH_REPO_NAME'" 53
+ cd "$old_dir"
+}
+
+setup() {
+ use
+ git config core.worktree "$GIT_WORK_TREE"
+ git config core.excludesfile ".gitignore.d/$VCSH_REPO_NAME"
+ git config vcsh.vcsh 'true'
+ touch "$HOME/.gitignore.d/$VCSH_REPO_NAME"
+ git add "$HOME/.gitignore.d/$VCSH_REPO_NAME"
+}
+
+use() {
+ if [ ! -d "$GIT_DIR" ]; then
+ fatal "no repository found for '$VCSH_REPO_NAME'" 12