diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/line_count.sh | 8 | ||||
| -rwxr-xr-x | scripts/run_server.sh | 4 | ||||
| -rwxr-xr-x | scripts/run_tree.sh | 4 |
3 files changed, 11 insertions, 5 deletions
diff --git a/scripts/line_count.sh b/scripts/line_count.sh index 2ecb7f5..19844b9 100755 --- a/scripts/line_count.sh +++ b/scripts/line_count.sh @@ -1,2 +1,8 @@ #! /usr/bin/env sh -find ./src -type f | xargs wc -l +find ./src -type f \ + -not -path "./src/portal/vendor/*" \ + -not -path "./src/portal/patches/*" \ + -not -path "./src/portal/cpy/portal.c" \ + -not -path "./src/portal/cpy/portal.h" \ + -not -path "*__pycache__*" \ + | xargs wc -l diff --git a/scripts/run_server.sh b/scripts/run_server.sh new file mode 100755 index 0000000..1c2cbbf --- /dev/null +++ b/scripts/run_server.sh @@ -0,0 +1,4 @@ +#! /usr/bin/env sh +export PYTHONDONTWRITEBYTECODE=1 +export PYTHONPATH=$HOME/c/camu/src/portal/vendor/vendor +rm -f /tmp/camu_sock && gdb -ex run --args ./src/server/server $@ diff --git a/scripts/run_tree.sh b/scripts/run_tree.sh deleted file mode 100755 index 274ec5c..0000000 --- a/scripts/run_tree.sh +++ /dev/null @@ -1,4 +0,0 @@ -#! /usr/bin/env sh -export PYTHONDONTWRITEBYTECODE=1 -export PYTHONPATH=$HOME/c/shoki/vendor/vendor -rm -f /tmp/tree_sock && gdb -ex run --args ./src/tree/tree $@ |