update plugin management

This commit is contained in:
Erich Smith
2012-05-13 08:37:31 -04:00
parent 8051a8520e
commit 08e439c4f0
18 changed files with 198 additions and 167 deletions

View File

@@ -1,17 +1,17 @@
cite about-plugin
about-plugin git helper functions
about-plugin 'git helper functions'
function git_remote {
about 'adds remote $GIT_HOSTING:$1 to current repo'
group git
group 'git'
echo "Running: git remote add origin ${GIT_HOSTING}:$1.git"
git remote add origin $GIT_HOSTING:$1.git
}
function git_first_push {
about push into origin refs/heads/master
group git
about 'push into origin refs/heads/master'
group 'git'
echo "Running: git push origin master:refs/heads/master"
git push origin master:refs/heads/master
@@ -19,23 +19,23 @@ function git_first_push {
function git_remove_missing_files() {
about "git rm's missing files"
group git
group 'git'
git ls-files -d -z | xargs -0 git update-index --remove
}
# Adds files to git's exclude file (same as .gitignore)
function local-ignore() {
about adds file or path to git exclude file
param 1: file or path fragment to ignore
group git
about 'adds file or path to git exclude file'
param '1: file or path fragment to ignore'
group 'git'
echo "$1" >> .git/info/exclude
}
# get a quick overview for your git repo
function git_info() {
about overview for your git repo
group git
about 'overview for your git repo'
group 'git'
if [ -n "$(git symbolic-ref HEAD 2> /dev/null)" ]; then
# print informations
@@ -71,8 +71,8 @@ function git_info() {
}
function git_stats {
about display stats per author
group git
about 'display stats per author'
group 'git'
# awesome work from https://github.com/esc/git-stats
# including some modifications