diff options
| author | Aaron LI <aly@aaronly.me> | 2018-04-18 16:41:27 +0800 |
|---|---|---|
| committer | Aaron LI <aly@aaronly.me> | 2018-04-18 16:44:09 +0800 |
| commit | 053cd1b7fe10f746792e0d1353fad4ad04e8ebe9 (patch) | |
| tree | 93137af7af0b073383e0db5ae91cbe301f9bcdd1 /roles/git/files/git-shell-commands/list | |
| parent | f448bcbdf07cf988ab50950df95d822f359041db (diff) | |
| download | ansible-dfly-vps-053cd1b7fe10f746792e0d1353fad4ad04e8ebe9.tar.bz2 | |
Add git role: host git repos and share repos via cgit
* Host git repositories
* Share git repositories through web interface via cgit
* The static resources used by cgit is also managed/deployed by a git repo ^_^
Diffstat (limited to 'roles/git/files/git-shell-commands/list')
| -rw-r--r-- | roles/git/files/git-shell-commands/list | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/roles/git/files/git-shell-commands/list b/roles/git/files/git-shell-commands/list new file mode 100644 index 0000000..2977541 --- /dev/null +++ b/roles/git/files/git-shell-commands/list @@ -0,0 +1,22 @@ +#!/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 *.git); do + is_bare_repo=$(git --git-dir="${repo}" rev-parse --is-bare-repository) + if [ "${is_bare_repo}" = "true" ]; then + echo "* ${repo}" + if [ -e "${PUBLIC}/${repo}" ]; then + echo " [public]" + fi + if [ -f "${repo}/description" ]; then + echo " $(cat ${repo}/description)" + fi + fi +done |