diff options
author | Bart Polot <bart@net.in.tum.de> | 2014-12-15 07:17:50 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2014-12-15 07:17:50 +0000 |
commit | 5536b530b8e53158db9d14febbed025bca54fa90 (patch) | |
tree | 9d1143de0a601b5d593fa00db6ecc66c6cd28262 /src | |
parent | 4d352e0dc6a9a3ff9b84bca59827b9f458b9a7f8 (diff) | |
download | gnunet-5536b530b8e53158db9d14febbed025bca54fa90.tar.gz gnunet-5536b530b8e53158db9d14febbed025bca54fa90.zip |
- move script to proper dir
Diffstat (limited to 'src')
-rwxr-xr-x | src/cadet/beautify_log.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/cadet/beautify_log.sh b/src/cadet/beautify_log.sh deleted file mode 100755 index 18b921a29..000000000 --- a/src/cadet/beautify_log.sh +++ /dev/null | |||
@@ -1,18 +0,0 @@ | |||
1 | #!/bin/sh | ||
2 | grep "STARTING SERVICE " log > __tmp_peers | ||
3 | SED_EXPR="" | ||
4 | while read -r line; do | ||
5 | PEER=`echo $line | sed -e 's/.*\[\(....\)\].*/\1/'` | ||
6 | PID=`echo $line | sed -e 's/.*cadet-\([0-9]*\).*/\1/'` | ||
7 | echo "$PID => $PEER" | ||
8 | SED_EXPR="${SED_EXPR}s/cadet-\([a-z2]*\)-$PID/CADET \1 $PEER/;" | ||
9 | SED_EXPR="${SED_EXPR}s/cadet-$PID/CADET XXX $PEER/;" | ||
10 | done < __tmp_peers | ||
11 | rm __tmp_peers | ||
12 | |||
13 | SED_EXPR="${SED_EXPR}s/cadet-api-/cadet-api- /g" | ||
14 | sed -e "$SED_EXPR" log > .log | ||
15 | |||
16 | if [[ "`ps aux | grep "kwrite .lo[g]"`" = "" ]]; then | ||
17 | kwrite .log --geometry 960x1140-960 & | ||
18 | fi | ||