annotate bin/apply.sh @ 901:d01703658029

gitconfig
author Jeff Hammel <k0scist@gmail.com>
date Thu, 09 Feb 2023 14:16:11 -0800
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