From: Oleg Broytman Date: Tue, 11 Apr 2017 20:16:47 +0000 (+0300) Subject: Add cloned repository to the list of repos to process X-Git-Url: https://git.phdru.name/?p=git-scripts.git;a=commitdiff_plain;h=7f923927d1c434b0ea0853bfeea5ff5ef3fc08fe Add cloned repository to the list of repos to process --- diff --git a/clone2current b/clone2current index 92590b9..e79ec71 100755 --- a/clone2current +++ b/clone2current @@ -22,6 +22,7 @@ dest_dir="`basename \"$source_dir\"`" && git clone "$source_dir" "$dest_dir" && cd "$dest_dir" && +pwd >> "`dirname \"$0\"`"/locate-all.list && if [ "`cat \"$source_dir\"/.git/description`" = \ "Unnamed repository; edit this file 'description' to name the repository." ] then diff --git a/fork b/fork index 99a8476..64a281c 100755 --- a/fork +++ b/fork @@ -11,6 +11,7 @@ local_repo="`basename \"$origin\" .git`" git clone -o upstream "$upstream" "$local_repo" && cd "$local_repo" && +pwd >> "`dirname \"$0\"`"/locate-all.list && git remote add origin "$origin" && chmod a-x .git/config && @@ -24,5 +25,4 @@ git config branch.$branch.remotepush origin && git config branch.$branch.merge refs/heads/$branch && git config push.default current && -git gc --aggressive && -exec pwd >> "`dirname \"$0\"`"/locate-all.list +exec git gc --aggressive diff --git a/publish2web b/publish2web index 1847f7a..eb7cf0a 100755 --- a/publish2web +++ b/publish2web @@ -18,6 +18,7 @@ dest_dir="`basename \"$source_dir\"`".git && git clone --bare --config core.sharedRepository=0644 "$source_dir" "$dest_dir" && cd "$dest_dir" && +pwd >> "`dirname \"$0\"`"/locate-all.list && git gc --aggressive && git repack -a -d -f --depth=20 --window=250 && git fsck --strict &&