# HG changeset patch # User Jeff Hammel # Date 1368208778 25200 # Node ID db07fef406429dfa19f9341b3c03c4bca66c8e82 # Parent fd0e81fdf1fae5a4e7b5cd62e82f96bb919ff179 add a command to apply patches diff -r fd0e81fdf1fa -r db07fef40642 bin/apply.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/apply.sh Fri May 10 10:59:38 2013 -0700 @@ -0,0 +1,9 @@ +#!/bin/bash +# apply a patch from the web +# TODO: take from file as well + +LVL=1 +if ((curl $1 2> /dev/null) | (patch -p${LVL} --dry-run -b > /dev/null)) +then + echo "hi" +fi