annotate bin/apply.sh @ 885:6df7507e6338

add script to remove unicode
author Jeff Hammel <k0scist@gmail.com>
date Wed, 24 Mar 2021 12:58:23 -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