diff options
| author | Jan Huwald <jh@sotun.de> | 2012-05-07 20:01:51 (GMT) |
|---|---|---|
| committer | Jan Huwald <jh@sotun.de> | 2012-05-07 20:01:51 (GMT) |
| commit | 420d2ef464d4a741028e132e662d5626806a41f5 (patch) | |
| tree | 1aca6eb512e4ed0fb5f3c10c528cb998b6ffd695 /toolbin/dbg_format_pla | |
Diffstat (limited to 'toolbin/dbg_format_pla')
| -rwxr-xr-x | toolbin/dbg_format_pla | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/toolbin/dbg_format_pla b/toolbin/dbg_format_pla new file mode 100755 index 0000000..55c7f01 --- /dev/null +++ b/toolbin/dbg_format_pla @@ -0,0 +1,15 @@ +#!/bin/bash + +I="" +while read; do + if echo "$REPLY" | grep -q '^PLA'; then + echo "$I$REPLY" + I=" $I" + else + if echo "$REPLY" | grep -q '^leave'; then + I=$(echo "$I" |sed 's/ //') + else + echo "$I$REPLY" + fi + fi +done
\ No newline at end of file |