diff options
Diffstat (limited to 'plugins/style')
| -rwxr-xr-x | plugins/style/recompute_STYLE_N.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/plugins/style/recompute_STYLE_N.sh b/plugins/style/recompute_STYLE_N.sh index 906aad8..09faed2 100755 --- a/plugins/style/recompute_STYLE_N.sh +++ b/plugins/style/recompute_STYLE_N.sh @@ -1,8 +1,9 @@ -#!/bin/bash -function sedr(){ +#!/bin/sh +sed_wrapper() +{ find ./ -type f -exec sed -i -e "$1" {} \; } ## e.g., sedr "s/target/replacement/g" -STYLE_N=$(wc -c style.js | cut -d " " -f 1) -sedr "s/^#define STYLE_N .*/#define STYLE_N $STYLE_N + 1/g" +STYLE_N=`wc -c style.js | cut -d " " -f 1` +sed_wrapper "s/^#define STYLE_N .*/#define STYLE_N $STYLE_N + 1/g" |