diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2021-08-28 04:58:19 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2021-12-13 17:02:21 +0000 |
commit | 1e0a4265650e5678d427593eecd3c0f6ccbae22f (patch) | |
tree | ef2830a8da84179a2c941b599be762bb76e4f8f1 /bin | |
parent | Updating. (diff) | |
download | progress-linux-tools-1e0a4265650e5678d427593eecd3c0f6ccbae22f.tar.xz progress-linux-tools-1e0a4265650e5678d427593eecd3c0f6ccbae22f.zip |
Updating.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/git-checkout-all | 28 | ||||
-rwxr-xr-x | bin/git-checkout-branches | 44 | ||||
-rwxr-xr-x | bin/git-remove-origin-branches | 10 | ||||
-rwxr-xr-x | bin/git-remove-origin-tags | 10 | ||||
-rwxr-xr-x | bin/git-repo-repack | 45 | ||||
-rwxr-xr-x | bin/git-whoami | 33 |
6 files changed, 0 insertions, 170 deletions
diff --git a/bin/git-checkout-all b/bin/git-checkout-all deleted file mode 100755 index eef1ad6..0000000 --- a/bin/git-checkout-all +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/sh - -set -e - -CURRENT_BRANCH="$(git branch | awk '/^\* / { print $2 }')" -REMOTE_BRANCHES="$(git branch -r | awk '{ print $1 }')" - -for REMOTE_BRANCH in ${REMOTE_BRANCHES} -do - BRANCH="$(echo ${REMOTE_BRANCH} | cut -d/ -f 2-)" - - if [ "${BRANCH}" = "HEAD" ] - then - continue - fi - - if git branch | grep -q "${BRANCH}$" - then - continue - fi - - git checkout -b ${BRANCH} ${REMOTE_BRANCH} -done - -if [ "$(git branch | awk '/^\* / { print $2 }')" != "${CURRENT_BRANCH}" ] -then - git checkout ${CURRENT_BRANCH} -fi diff --git a/bin/git-checkout-branches b/bin/git-checkout-branches deleted file mode 100755 index 770551d..0000000 --- a/bin/git-checkout-branches +++ /dev/null @@ -1,44 +0,0 @@ -#!/bin/sh - -# source-tools - Git extra utilities -# Copyright (C) 2014-2016 Daniel Baumann <daniel.baumann@open-infrastructure.net> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. - -set -e - -CURRENT_BRANCH="$(git branch | awk '/^\* / { print $2 }')" -REMOTE_BRANCHES="$(git branch -r | awk '{ print $1 }')" - -for REMOTE_BRANCH in ${REMOTE_BRANCHES} -do - BRANCH="$(echo ${REMOTE_BRANCH} | cut -d/ -f 2-)" - - if [ "${BRANCH}" = "HEAD" ] - then - continue - fi - - if git branch | grep -q "${BRANCH}$" - then - continue - fi - - git checkout -b ${BRANCH} ${REMOTE_BRANCH} -done - -if [ "$(git branch | awk '/^\* / { print $2 }')" != "${CURRENT_BRANCH}" ] -then - git checkout ${CURRENT_BRANCH} -fi diff --git a/bin/git-remove-origin-branches b/bin/git-remove-origin-branches deleted file mode 100755 index f65f037..0000000 --- a/bin/git-remove-origin-branches +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -set -e - -BRANCHES="${@}" - -for BRANCH in ${BRANCHES} -do - git push origin :${BRANCH} -done diff --git a/bin/git-remove-origin-tags b/bin/git-remove-origin-tags deleted file mode 100755 index 8598409..0000000 --- a/bin/git-remove-origin-tags +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -set -e - -TAGS="${@}" - -for TAG in ${TAGS} -do - git push origin :refs/tags/${TAG} -done diff --git a/bin/git-repo-repack b/bin/git-repo-repack deleted file mode 100755 index 9e733d2..0000000 --- a/bin/git-repo-repack +++ /dev/null @@ -1,45 +0,0 @@ -#!/bin/sh - -set -e - -case "${1}" in - --quiet) - QUIET="true" - shift - - GIT_REPACK_OPTIONS="-q" - GIT_GC_OPTIONS="--quiet" - ;; -esac - -REPOSITORIES="${@}" - -if [ -z "${REPOSITORIES}" ] -then - if [ ! -e HEAD ] - then - REPOSITORIES="*.git" - else - REPOSITORIES="$(pwd)" - fi -fi - -for REPOSITORY in ${REPOSITORIES} -do - [ "${QUIET}" ] || echo "--------------------------------------------------------------------------------" - [ "${QUIET}" ] || echo ${REPOSITORY} - [ "${QUIET}" ] || echo "--------------------------------------------------------------------------------" - - cd "${REPOSITORY}" - git repack ${GIT_REPACK_OPTIONS} -a -b -d -f -F - git gc ${GIT_GC_OPTIONS} --aggressive --prune - cd "${OLDPWD}" - - if [ "$(id -u)" -eq "0" ] - then - UID="$(stat -c %u ${REPOSITORY})" - GID="$(stat -c %g ${REPOSITORY})" - - chown ${UID}:${GID} "${REPOSITORY}" -R - fi -done diff --git a/bin/git-whoami b/bin/git-whoami deleted file mode 100755 index 9cab9bc..0000000 --- a/bin/git-whoami +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/sh - -# git-whoami -# Author: Peter Eisentraut <peter@eisentraut.org> -# Created: 2011-10-27 -# License: WTFPL; see http://sam.zoy.org/wtfpl/ - -# exact logic in ident.c in git source tree - -set -e - -get_email() { - git config user.email || ( [ -n "$EMAIL" ] && echo "$EMAIL" ) || echo "$(id -nu)@$(hostname --fqdn)" -} - -get_name() { - git config user.name || getent passwd $(id -un) | cut -d : -f 5 | cut -d , -f 1 -} - -: ${GIT_AUTHOR_NAME=$(get_name)} -: ${GIT_COMMITTER_NAME=$(get_name)} -: ${GIT_AUTHOR_EMAIL=$(get_email)} -: ${GIT_COMMITTER_EMAIL=$(get_email)} - -author="$GIT_AUTHOR_NAME <$GIT_AUTHOR_EMAIL>" -commit="$GIT_COMMITTER_NAME <$GIT_COMMITTER_EMAIL>" - -if [ "$author" = "$commit" ]; then - echo "$author" -else - echo "Author: $author" - echo "Commit: $commit" -fi |