diff options
Diffstat (limited to '')
| -rwxr-xr-x | post-receive-stagit | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/post-receive-stagit b/post-receive-stagit index 93107cd..9b3de8c 100755 --- a/post-receive-stagit +++ b/post-receive-stagit | |||
| @@ -1,26 +1,27 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | 2 | ||
| 3 | yourname="Sebastiano Tronto | ||
| 3 | repo="$PWD" | 4 | repo="$PWD" |
| 4 | name="$(basename $repo .git)" | 5 | name="$(basename $repo .git)" |
| 6 | baseurl="https://git.tronto.net" | ||
| 5 | basedir="/var/www/htdocs/git.tronto.net" | 7 | basedir="/var/www/htdocs/git.tronto.net" |
| 6 | htdir="$basedir/$name" | 8 | htdir="$basedir/$name" |
| 7 | filesdir="/home/git/FILES" | 9 | filesdir="/home/git/FILES" |
| 8 | bindir="/home/git/BIN" | 10 | bindir="/home/git/BIN" |
| 9 | 11 | ||
| 10 | setupinfo() { | 12 | setupinfo() { |
| 11 | echo "Sebastiano Tronto" > owner | 13 | echo "$yourname" > owner |
| 12 | echo "https://git.tronto.net/$name" > url | 14 | echo "$baseurl/$name" > url |
| 15 | git update-server-info | ||
| 13 | } | 16 | } |
| 14 | 17 | ||
| 15 | genstagit() { | 18 | genstagit() { |
| 16 | rm -rf "$htdir" | 19 | rm -rf "$htdir" |
| 17 | mkdir -p "$basedir" | 20 | mkdir -p "$basedir" |
| 18 | cp -r "$repo" "$htdir" | 21 | cp -r "$repo" "$htdir" |
| 19 | cd "$htdir" && \ | ||
| 20 | git update-server-info && \ | ||
| 21 | git archive HEAD --prefix="$name/" -o "$basedir/$name.zip" | ||
| 22 | stagit -l 100 "$repo" | 22 | stagit -l 100 "$repo" |
| 23 | git show master:README.md > file/README.md | 23 | git show master:README.md > file/README.md |
| 24 | git archive HEAD --prefix="$name/" -o "$basedir/$name.zip" | ||
| 24 | } | 25 | } |
| 25 | 26 | ||
| 26 | cpindexfile() { | 27 | cpindexfile() { |
