b3cce25243
Change-Id: I7a2e56e58dff3b6b2dcc65a734767d2c707882b8 Former-commit-id:566280332f[formerly76382d8ccd] [formerly566280332f[formerly76382d8ccd] [formerly1e761b6716[formerly d3e7ea521c17f091b37d07f877c728fdb616c4a9]]] Former-commit-id:1e761b6716Former-commit-id:fb7755cc04[formerly3fe0f03307] Former-commit-id:2226e17a80
32 lines
925 B
Bash
Executable file
32 lines
925 B
Bash
Executable file
#!/bin/bash
|
|
|
|
#
|
|
# Check for a merge tool
|
|
#
|
|
MERGE_TOOL=`git config --get merge.tool`
|
|
if [ "$MERGE_TOOL" == "" ]; then
|
|
echo "I have no merge tool :("
|
|
# Tool disclaimer / continue prompt
|
|
echo " "
|
|
echo "No merge tool has been set for git. A merge tool would make conflicts easier to resolve."
|
|
echo "To set a merge tool, see if you have one of the following merge tools installed:"
|
|
echo " meld opendiff kdiff3 tkdiff xxdiff tortoisemerge gvimdiff diffuse ecmerge p4merge araxis emerge vimdiff "
|
|
echo "And install thusly (kdiff3 used as example here): "
|
|
echo " git config --global merge.tool kdiff3"
|
|
echo " "
|
|
read -p "Press [Enter] key to continue (ctrl-c to quit).."
|
|
fi
|
|
|
|
changes=`git status | grep "nothing to commit (working directory clean)"`
|
|
if [ -z "$changes" ]
|
|
then
|
|
git stash save "Saving for pull..."
|
|
fi
|
|
|
|
git pull --rebase
|
|
|
|
if [ -z "$changes" ]
|
|
then
|
|
git stash pop
|
|
git mergetool
|
|
fi
|