]>
git.madduck.net Git - code/vcsh.git/blobdiff - vcsh
madduck's git repository
Every one of the projects in this repository is available at the canonical
URL git://git.madduck.net/madduck/pub/<projectpath> — see
each project's metadata for the exact URL.
All patches and comments are welcome. Please squash your changes to logical
commits before using git-format-patch and git-send-email to
patches@ git. madduck. net .
If you'd read over the Git project's submission guidelines and adhered to them,
I'd be especially grateful.
SSH access, as well as push access can be individually
arranged .
If you use my repositories frequently, consider adding the following
snippet to ~/.gitconfig and using the third clone URL listed for each
project:
[url "git://git.madduck.net/madduck/"]
insteadOf = madduck:
clone <remote> \\
[<repo>] Clone from an existing repository
clone <remote> \\
[<repo>] Clone from an existing repository
- help Display this help text
delete Delete an existing repository
enter Enter repository; spawn new instance of \$SHELL
delete Delete an existing repository
enter Enter repository; spawn new instance of \$SHELL
+ help Display this help text
init <repo> Initialize a new repository
list List all repositories
list-tracked List all files tracked by vcsh
init <repo> Initialize a new repository
list List all repositories
list-tracked List all files tracked by vcsh
run <repo> \\
<command> Use this repository
setup Set up repository with recommended settings
run <repo> \\
<command> Use this repository
setup Set up repository with recommended settings
+ which <substring> Find substring in name of any tracked file
write-gitignore \\
<repo> Write .gitignore.d/<repo> via git ls-files
write-gitignore \\
<repo> Write .gitignore.d/<repo> via git ls-files
for file in $files; do
rm -f $file || info "could not delete '$file', continuing with deletion"
done
for file in $files; do
rm -f $file || info "could not delete '$file', continuing with deletion"
done
- rmdi r "$GIT_DIR" || error "could not delete '$GIT_DIR'"
+ rm - r "$GIT_DIR" || error "could not delete '$GIT_DIR'"
- for i in "$VCSH_REPO_D"/*.git; do
- echo $(basename "$i " .git)
+ for repo in "$VCSH_REPO_D"/*.git; do
+ [ -r "$repo" ] && echo $(basename "$repo " .git)
export VCSH_DIRECTORY="$VCSH_REPO_NAME"
}
export VCSH_DIRECTORY="$VCSH_REPO_NAME"
}
+which() {
+ for VCSH_REPO_NAME in $(list); do
+ for VCSH_FILE in $(get_files); do
+ echo $VCSH_FILE | grep -q "$VCSH_COMMAND_PARAMETER" && echo "$VCSH_REPO_NAME: $VCSH_FILE"
+ done
+ done | sort -u
+}
+
write_gitignore() {
use
cd "$VCSH_BASE" || fatal "could not enter '$VCSH_BASE'" 11
write_gitignore() {
use
cd "$VCSH_BASE" || fatal "could not enter '$VCSH_BASE'" 11
fi
if [ "$1" = 'clone' ]; then
fi
if [ "$1" = 'clone' ]; then
- [ -z $2 ] && fatal "$1: please specify a remote" 1
+ [ -z "$2" ] && fatal "$1: please specify a remote" 1
export VCSH_COMMAND="$1"
GIT_REMOTE="$2"
[ -n "$3" ] && VCSH_REPO_NAME="$3" || VCSH_REPO_NAME=$(basename "$GIT_REMOTE" .git)
export VCSH_REPO_NAME
export GIT_DIR="$VCSH_REPO_D/$VCSH_REPO_NAME.git"
export VCSH_COMMAND="$1"
GIT_REMOTE="$2"
[ -n "$3" ] && VCSH_REPO_NAME="$3" || VCSH_REPO_NAME=$(basename "$GIT_REMOTE" .git)
export VCSH_REPO_NAME
export GIT_DIR="$VCSH_REPO_D/$VCSH_REPO_NAME.git"
+elif [ "$1" = 'which' ]; then
+ [ -z "$2" ] && fatal "$1: please specify a filename" 1
+ [ -n "$3" ] && fatal "$1: too many parameters" 1
+ export VCSH_COMMAND="$1"
+ export VCSH_COMMAND_PARAMETER="$2"
elif [ "$1" = 'delete' ] ||
[ "$1" = 'enter' ] ||
[ "$1" = 'init' ] ||
elif [ "$1" = 'delete' ] ||
[ "$1" = 'enter' ] ||
[ "$1" = 'init' ] ||
verbose "$VCSH_COMMAND begin"
export VCSH_COMMAND=$(echo $VCSH_COMMAND | sed 's/-/_/g')
verbose "$VCSH_COMMAND begin"
export VCSH_COMMAND=$(echo $VCSH_COMMAND | sed 's/-/_/g')
verbose "$VCSH_COMMAND end, exiting"
verbose "$VCSH_COMMAND end, exiting"