📄 git-pull-script
字号:
#!/bin/sh## use "$1" or something in a real script, this # just hard-codes it.#merge_repo=$1rm -f .git/MERGE_HEADecho "Getting object database"rsync -avz --ignore-existing $merge_repo/objects/. .git/objects/.echo "Getting remote head"rsync -L $merge_repo/HEAD .git/MERGE_HEAD || exit 1head=$(cat .git/HEAD)merge_head=$(cat .git/MERGE_HEAD)common=$(merge-base $head $merge_head)if [ -z "$common" ]; then echo "Unable to find common commit between" $merge_head $head exit 1fi# Get the trees associated with those commitscommon_tree=$(cat-file commit $common | sed 's/tree //;q')head_tree=$(cat-file commit $head | sed 's/tree //;q')merge_tree=$(cat-file commit $merge_head | sed 's/tree //;q')if [ "$common" == "$merge_head" ]; then echo "Already up-to-date. Yeeah!" exit 0fiif [ "$common" == "$head" ]; then echo "Updating from $head to $merge_head." echo "Destroying all noncommitted data!" echo "Kill me within 3 seconds.." sleep 3 read-tree -m $merge_tree && checkout-cache -f -a && update-cache --refresh echo $merge_head > .git/HEAD exit 0fiecho "Trying to merge $merge_head into $head"read-tree -m $common_tree $head_tree $merge_treeresult_tree=$(write-tree) || exit 1result_commit=$(echo "Merge $merge_repo" | commit-tree $result_tree -p $head -p $merge_head)echo "Committed merge $result_commit"echo $result_commit > .git/HEADcheckout-cache -f -a && update-cache --refresh
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -