guilt-delete

   1 #!/bin/bash
   2 #
   3 # Copyright (c) Josef "Jeff" Sipek, 2006, 2007
   4 #
   5
   6 source "`dirname $0`/guilt"
   7
   8 patch="$1"
   9
  10 if [ -z "$patch" ]; then
  11         echo "You must specify a patch to delete"
  12         exit 1
  13 fi
  14
  15 p=`grep -e "^[0-9a-f]\{40\}:$patch\$" < "$applied"`
  16 if [ ! -z "$p" ] ; then
  17         echo "Cannot delete an applied patch"
  18         exit 1
  19 fi
  20
  21 ex -s -c ":%g/^$patch\$/d|:wq" "$series"