diff options
Diffstat (limited to 'roles/git/files/git-shell-commands/list')
| -rw-r--r-- | roles/git/files/git-shell-commands/list | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/roles/git/files/git-shell-commands/list b/roles/git/files/git-shell-commands/list deleted file mode 100644 index 47e64e1..0000000 --- a/roles/git/files/git-shell-commands/list +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh -# -# /usr/local/share/git-core/contrib/git-shell-commands/list -# -# Aaron LI -# 2017-06-19 -# - -. ${HOME}/vars.conf - -for repo in $(ls -d ${HOME}/*.git); do - is_bare_repo=$(git --git-dir="${repo}" rev-parse --is-bare-repository) - if [ "${is_bare_repo}" = "true" ]; then - echo "* $(basename ${repo})" - if [ -e "${PUBLIC}/${repo}" ]; then - echo " [public]" - fi - if [ -f "${repo}/description" ]; then - echo " $(cat ${repo}/description)" - fi - fi -done |