mirror of
https://github.com/rkd77/elinks.git
synced 2024-10-29 08:17:18 -04:00
d2c5aeb2c7
To segregate the historical commits (can't remember why), I originally placed their pack in an alternate object store, but later I found that a *.keep file does the job as well. This gives a considerable speedup in git gc. It takes some more disk space but OTOH you might then run gc more often and have fewer loose objects. real user sys (tested in this order) 1m15.900s 0m59.732s 0m4.336s gc after clone&graft without *.keep 0m23.162s 0m17.549s 0m1.588s gc after clone&graft with *.keep 0m06.932s 0m04.440s 0m0.588s gc after clone&graft&gc with *.keep 0m32.214s 0m24.138s 0m2.284s gc after clone&graft&gc without *.keep Total size of .git/objects/pack/ was 90592 KiB without *.keep and 97397 KiB with *.keep. So *.keep reduced gc time by 70-80% but increased disk space usage by 7.5%.
41 lines
1.5 KiB
Bash
Executable File
41 lines
1.5 KiB
Bash
Executable File
#!/bin/sh -e
|
|
#
|
|
# Graft the ELinks development history to the current tree.
|
|
#
|
|
# Note that this will download about 80M.
|
|
|
|
if [ -z "`which wget 2>/dev/null`" ]; then
|
|
echo "Error: You need to have wget installed so that I can fetch the history." >&2
|
|
exit 1
|
|
fi
|
|
|
|
[ "$GIT_DIR" ] || GIT_DIR=.git
|
|
if ! [ -d "$GIT_DIR" ]; then
|
|
echo "Error: You must run this from the project root (or set GIT_DIR to your .git directory)." >&2
|
|
exit 1
|
|
fi
|
|
cd "$GIT_DIR"
|
|
|
|
echo "[grafthistory] Downloading the history"
|
|
mkdir -p objects/pack
|
|
cd objects/pack
|
|
echo "ELinks history converted from CVS. Keep this pack separate to speed up git gc." \
|
|
> pack-0d6c5c67aab3b9d5d9b245da5929c15d79124a48.keep
|
|
# pack-0d6c5c67aab3b9d5d9b245da5929c15d79124a48.idx is 3163784 bytes long.
|
|
# Downloading it takes less than 6 seconds here, whereas generating it
|
|
# with git index-pack takes over 4 minutes (750 MHz Duron, git 1.5.4.1).
|
|
wget -c http://elinks.cz/elinks-history.git/objects/pack/pack-0d6c5c67aab3b9d5d9b245da5929c15d79124a48.idx
|
|
wget -c http://elinks.cz/elinks-history.git/objects/pack/pack-0d6c5c67aab3b9d5d9b245da5929c15d79124a48.pack
|
|
|
|
echo "[grafthistory] Setting up the grafts"
|
|
cd ../..
|
|
mkdir -p info
|
|
# master
|
|
echo 0f6d4310ad37550be3323fab80456e4953698bf0 06135dc2b8bb7ed2e441305bdaa82048396de633 >>info/grafts
|
|
# REL_0_10
|
|
echo 43a9a406737fd22a8558c47c74b4ad04d4c92a2b 730242dcf2cdeed13eae7e8b0c5f47bb03326792 >>info/grafts
|
|
|
|
echo "[grafthistory] Refreshing the dumb server info wrt. new packs"
|
|
cd ..
|
|
git update-server-info
|