annotate bin/apply.sh @ 909:92f181cb772c

remove obsolete notes
author Jeff Hammel <k0scist@gmail.com>
date Fri, 12 Apr 2024 05:29:12 -0700
parents db07fef40642
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
286
db07fef40642 add a command to apply patches
Jeff Hammel <jhammel@mozilla.com>
parents:
diff changeset
1 #!/bin/bash
db07fef40642 add a command to apply patches
Jeff Hammel <jhammel@mozilla.com>
parents:
diff changeset
2 # apply a patch from the web
db07fef40642 add a command to apply patches
Jeff Hammel <jhammel@mozilla.com>
parents:
diff changeset
3 # TODO: take from file as well
db07fef40642 add a command to apply patches
Jeff Hammel <jhammel@mozilla.com>
parents:
diff changeset
4
db07fef40642 add a command to apply patches
Jeff Hammel <jhammel@mozilla.com>
parents:
diff changeset
5 LVL=1
db07fef40642 add a command to apply patches
Jeff Hammel <jhammel@mozilla.com>
parents:
diff changeset
6 if ((curl $1 2> /dev/null) | (patch -p${LVL} --dry-run -b > /dev/null))
db07fef40642 add a command to apply patches
Jeff Hammel <jhammel@mozilla.com>
parents:
diff changeset
7 then
db07fef40642 add a command to apply patches
Jeff Hammel <jhammel@mozilla.com>
parents:
diff changeset
8 echo "hi"
db07fef40642 add a command to apply patches
Jeff Hammel <jhammel@mozilla.com>
parents:
diff changeset
9 fi