Last active
November 12, 2021 08:17
-
-
Save shoheiyokoyama/392c0713fc42f8322c2604da7cb4c707 to your computer and use it in GitHub Desktop.
Script to delete mergepbx
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
MERGEPBX_TARGET=mergepbx | |
MERGEPBX_PREFIX=/usr/local/bin | |
MERGEPBX_BUILD_DIR=/tmp | |
echo "Deleting mergepbx..." | |
git config --global --unset merge.mergepbx.name | |
git config --global --unset merge.mergepbx.driver | |
rm -rf "$MERGEPBX_BUILD_DIR/$MERGEPBX_TARGET" | |
rm -rf "$MERGEPBX_PREFIX/$MERGEPBX_TARGET" | |
git config --global --get-regexp merge.mergepbx | |
if [ $? -eq 0 ]; then | |
echo "The mergepbx config is still in ~/.gitconfig. Delete it manually." | |
exit 1 | |
fi | |
if [ -d "$MERGEPBX_BUILD_DIR/$MERGEPBX_TARGET" ]; then | |
echo "The mergepbx config is still in $MERGEPBX_BUILD_DIR/$MERGEPBX_TARGET. Delete it manually." | |
exit 1 | |
fi | |
type "$MERGEPBX_TARGET" > /dev/null 2>&1 | |
if [ $? -eq 0 ]; then | |
type "$MERGEPBX_TARGET" | |
echo "Delete it manually." | |
exit 1 | |
fi | |
echo "mergepbx was successfully removed." |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment