From 053cd1b7fe10f746792e0d1353fad4ad04e8ebe9 Mon Sep 17 00:00:00 2001
From: Aaron LI <aly@aaronly.me>
Date: Wed, 18 Apr 2018 16:41:27 +0800
Subject: 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 ^_^
---
 roles/git/files/git-shell-commands/make-public | 37 ++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 roles/git/files/git-shell-commands/make-public

(limited to 'roles/git/files/git-shell-commands/make-public')

diff --git a/roles/git/files/git-shell-commands/make-public b/roles/git/files/git-shell-commands/make-public
new file mode 100644
index 0000000..f1dfb1d
--- /dev/null
+++ b/roles/git/files/git-shell-commands/make-public
@@ -0,0 +1,37 @@
+#!/bin/sh
+#
+# Copyright (c) 2017 Aaron LI <aly@aaronly.me>
+# MIT License
+#
+# Make an existing Git repository public by linking it into
+# `repos.public`, which is exported via `cgit`.
+#
+# 2017-06-19
+#
+
+. ${HOME}/vars.conf
+
+if [ $# -ne 1 ]; then
+    echo "usage: make-public <repository.git>"
+    exit 1
+fi
+
+if [ ! -e "${PUBLIC}" ]; then
+    echo "ERROR: public directory '${PUBLIC}' not exists!"
+    exit 1
+fi
+
+project="${1%.[gG][iI][tT]}.git"
+
+if [ ! -d "${project}" ]; then
+    echo "ERROR: repository '${project}' not exists!"
+    exit 3
+elif [ -L "${PUBLIC}/${project}" ]; then
+    echo "Repository '${project}' already made public."
+    exit 0
+else
+    ln -sv ../${project} ${PUBLIC}/${project}
+    echo "Made repository '${project}' public."
+    exit 0
+fi
+
-- 
cgit v1.2.2