X-Git-Url: https://git.phdru.name/?a=blobdiff_plain;f=publish2web;h=eb7cf0ab915ddacb479b52ba70e977cac0779059;hb=7f923927d1c434b0ea0853bfeea5ff5ef3fc08fe;hp=c66a6940b2c4655887789aa6f5e5946f237d03cd;hpb=9187d4d02c6f5aab348c08a0782c5114104e6d8e;p=git-scripts.git

diff --git a/publish2web b/publish2web
index c66a694..eb7cf0a 100755
--- a/publish2web
+++ b/publish2web
@@ -15,17 +15,19 @@ fi &&
 
 cd "$HOME"/tmp &&
 dest_dir="`basename \"$source_dir\"`".git &&
-git clone --mirror --config core.sharedRepository=0644 "$source_dir" "$dest_dir" &&
+git clone --bare --config core.sharedRepository=0644 "$source_dir" "$dest_dir" &&
 
 cd "$dest_dir" &&
-git repack -a -d -f --depth=250 --window=250 &&
+pwd >> "`dirname \"$0\"`"/locate-all.list &&
+git gc --aggressive &&
+git repack -a -d -f --depth=20 --window=250 &&
 git fsck --strict &&
-cp -p hooks/post-update.sample hooks/post-update && hooks/post-update &&
+git config receive.updateserverinfo true && git update-server-info &&
 cp -p "$HOME"/Internet/WWW/htdocs/git.phdru.name/phdru.name/phdru.name.git/git-daemon-export-ok . &&
 if [ "`cat \"$source_dir\"/.git/description`" = \
    "Unnamed repository; edit this file 'description' to name the repository." ]
 then
-   "${VISUAL:-${EDITOR:-vi}}" "$source_dir"/.git/description description
+   `git var GIT_EDITOR` "$source_dir"/.git/description description
 else
    cp -p "$source_dir"/.git/description . && chmod a+r description
 fi &&
@@ -47,4 +49,5 @@ cd "$source_dir" &&
 if [ -n "$directories" ]; then
    dest_dir="$directories/$dest_dir"
 fi &&
-exec git remote add --mirror=push web "$HOME"/Internet/WWW/htdocs/git.phdru.name/"$dest_dir"
+git remote add web "$HOME"/Internet/WWW/htdocs/git.phdru.name/"$dest_dir" &&
+exec git push --set-upstream web master