1 files changed, 8 insertions, 0 deletions
diff --git a/plugins/style/recompute_STYLE_N.sh b/plugins/style/recompute_STYLE_N.sh
new file mode 100755
index 0000000..906aad8
--- /dev/null
+++ b/plugins/style/recompute_STYLE_N.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+function sedr(){
+  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"
+