diff options
author | Hiltjo Posthuma <hiltjo@codemadness.org> | 2017-07-30 17:21:42 +0200 |
---|---|---|
committer | Hiltjo Posthuma <hiltjo@codemadness.org> | 2017-07-30 17:21:42 +0200 |
commit | bdcf38baa40fd508a9b890afb0a75e53f0819a37 (patch) | |
tree | d4fd460f3db7bffeed00e0bf291a23e7fc40ce64 /example.sh | |
parent | 4e307d3076d88b0a8e096e23df8c78077542ab3e (diff) |
improve example scripts, add to build (Makefile)
Diffstat (limited to 'example.sh')
-rw-r--r-- | example.sh | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/example.sh b/example.sh deleted file mode 100644 index 57290d3..0000000 --- a/example.sh +++ /dev/null @@ -1,43 +0,0 @@ -#!/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.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 - - printf "done\n" -done |