2023-04-21 23:19:11 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
sed_wrapper()
|
|
|
|
|
{
|
2023-02-05 02:21:30 +00:00
|
|
|
find ./ -type f -exec sed -i -e "$1" {} \;
|
|
|
|
|
} ## e.g., sedr "s/target/replacement/g"
|
|
|
|
|
|
2023-04-21 23:19:11 +00:00
|
|
|
STYLE_N=`wc -c style.js | cut -d " " -f 1`
|
2023-11-20 10:54:40 +00:00
|
|
|
sed_wrapper "s/^#define STYLE_N .*/#define STYLE_N $STYLE_N + 1000/g"
|
2023-02-05 02:21:30 +00:00
|
|
|
|
