diff options
author | Hiltjo Posthuma <[email protected]> | 2017-07-30 17:21:42 +0200 |
---|---|---|
committer | Hiltjo Posthuma <[email protected]> | 2017-07-30 17:21:42 +0200 |
commit | bdcf38baa40fd508a9b890afb0a75e53f0819a37 (patch) | |
tree | d4fd460f3db7bffeed00e0bf291a23e7fc40ce64 /example_create.sh | |
parent | 4e307d3076d88b0a8e096e23df8c78077542ab3e (diff) | |
download | stagit-bdcf38baa40fd508a9b890afb0a75e53f0819a37.tar.gz stagit-bdcf38baa40fd508a9b890afb0a75e53f0819a37.zip |
improve example scripts, add to build (Makefile)
Diffstat (limited to 'example_create.sh')
-rw-r--r-- | example_create.sh | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/example_create.sh b/example_create.sh new file mode 100644 index 0000000..aff7d54 --- /dev/null +++ b/example_create.sh @@ -0,0 +1,43 @@ +#!/bin/sh +# - 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 + +# path must be absolute. +reposdir="/var/www/domains/git.codemadness.nl/home/src" +curdir="$(pwd)" + +# make index. +stagit-index "${reposdir}/"*/ > "${curdir}/index.html" + +# 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}" + stagit -c ".cache" "${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 |