script: preventing non-compatible sed binary.
This commit is contained in:
1 parent
fe03f7a37f
commit
30df5c3dd4
1 file changed
+5
@@ -17,6 +17,11 @@ if test -z "$1"; then
|
|||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
if ! sed --help | grep -q 'GNU'; then
|
||||||
|
echo "Error: the installed sed package is not compatible. Please make sure you have GNU sed installed in your system.";
|
||||||
|
exit 1;
|
||||||
|
fi
|
||||||
|
|
||||||
RET=0
|
RET=0
|
||||||
PREV_BRANCH=$(git name-rev --name-only HEAD)
|
PREV_BRANCH=$(git name-rev --name-only HEAD)
|
||||||
PREV_HEAD=$(git rev-parse HEAD)
|
PREV_HEAD=$(git rev-parse HEAD)
|
||||||
|
|||||||
Reference in new issue
Block a user