From 5713eb4bfd465beef627f0c89b996d090f593603 Mon Sep 17 00:00:00 2001 From: Hsieh Chin Fan Date: Tue, 17 Dec 2024 14:05:18 +0800 Subject: git: update --- git/create.sh | 53 ----------------------------------------------------- 1 file changed, 53 deletions(-) delete mode 100755 git/create.sh (limited to 'git/create.sh') diff --git a/git/create.sh b/git/create.sh deleted file mode 100755 index f2f4227..0000000 --- a/git/create.sh +++ /dev/null @@ -1,53 +0,0 @@ -#!/bin/bash -# - Makes index for repositories in a single directory. -# - Makes static pages for each repository directory. -# -# NOTE, things to do manually (once) before running this script: -# - copy style.css, logo.png and favicon.png manually, a style.css example -# is included. -# -# - write clone URL, for example "git://git.codemadness.org/dir" to the "url" -# file for each repo. -# - write owner of repo to the "owner" file. -# - write description in "description" file. -# -# Usage: -# - mkdir -p htmldir && cd htmldir -# - sh example_create.sh - -ORIG_DIR=`pwd` - -# path must be absolute. -reposdir="/srv/git" -curdir="/srv/git/www" - -cd ${curdir} - -# make files per repo. -for dir in "${reposdir}/"*/; do - # strip .git suffix. - r=$(basename "${dir}") - d=$(basename "${dir}" ".git") - printf "%s... " "${d}" - - mkdir -p "${curdir}/${d}" - cd "${curdir}/${d}" || continue - - test -f ${dir}/owner || echo `whoami` >${dir}/owner - test -f ${dir}/url || echo git://git.topo.tw/${d} >${dir}/url - - stagit -c ".cache" -u "https://git.codemadness.nl/$d/" "${reposdir}/${r}" - - # symlinks - ln -sf log.html index.html - ln -sf ../style.css style.css - ln -sf ../logo.png logo.png - ln -sf ../favicon.png favicon.png - - echo "done" -done - -# make index. -stagit-index "${reposdir}/"*/ > "${curdir}/index.html" - -cd ${ORIG_DIR} -- cgit v1.2.3-70-g09d2