#! /bin/sh if [ ! -d ".git" -a -z "$1" ]; then echo "Usage: $0 repository [directories]" >&2 exit 1 fi if [ -n "$1" ]; then cd "$1" fi && source_dir="`pwd`" && if [ ! -d ".git" ]; then echo "$source_dir is not a repository (.git isn't found)" >&2 exit 1 fi && cd "$HOME"/current/projects && directories="$2" && if [ -n "$directories" ]; then mkdir -p "$directories" && cd "$directories" fi && dest_dir="`basename \"$source_dir\"`" && git clone "$source_dir" "$dest_dir" && cd "$dest_dir" && pwd >> "$HOME"/prog/git-scripts/locate-all.list && if [ "`cat \"$source_dir\"/.git/description`" = \ "Unnamed repository; edit this file 'description' to name the repository." ] then `git var GIT_EDITOR` "$source_dir"/.git/description .git/description else cp -p "$source_dir"/.git/description .git fi && "$HOME"/prog/git-scripts/set-commit-date-recursive && echo /publish-docs >>.git/info/exclude && echo /update-remotes >>.git/info/exclude && git config update-remotes.files publish-docs && cp -p "$HOME"/current/projects/m_lib/update-remotes . && cd "$source_dir" && if [ -n "$directories" ]; then dest_dir="$directories/$dest_dir" fi && { git remote add current "$HOME"/current/projects/"$dest_dir" || exec git remote set-url current "$HOME"/current/projects/"$dest_dir" }