The following commit has been merged in the master branch:
commit 9912568576401fb6c7aa37d4429e085da59b7b92
Author: Benjamin Drung <[email protected]>
Date: Tue Mar 13 12:35:32 2012 +0100
edit-patch: Simplify basename call.
diff --git a/scripts/edit-patch.sh b/scripts/edit-patch.sh
index 19a11c5..9c4c65b 100755
--- a/scripts/edit-patch.sh
+++ b/scripts/edit-patch.sh
@@ -293,9 +293,9 @@ main() {
normalize_patch_path
normalize_patch_extension
handle_file_patch
- if [ "$(basename $0|sed -e s/.sh\$//)" = "edit-patch" ]; then
+ if [ "$(basename $0 .sh)" = "edit-patch" ]; then
edit_patch_$PATCHSYSTEM $PATCHNAME
- elif [ "$(basename $0|sed -e s/.sh\$//)" = "add-patch" ]; then
+ elif [ "$(basename $0 .sh)" = "add-patch" ]; then
add_patch_$PATCHSYSTEM $1 $PATCHNAME
else
fatal_error "Unknown script name: $0"
--
Git repository for devscripts
--
To unsubscribe, send mail to [email protected].
