1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#! /bin/sh
sed 's/begin//' |\
sed 's/end//' |\
sed 's/\[\([0-9,]*\)\]/(\1)/g' |\
sed 's/:=/ = /' |\
sed 's/mtt\([a-z]*\)\([0-9]\)\([0-9]*\)/mtt\1(\2\3)/g' |\
awk '{
sub(/^[\ ]*/, "", $0)
sub(/\$$/, ";", $0)
if (match($NF,"[;\#\.]$")==0){
Previous[++i] = $0
}
else {
for (j=1;j<=i;j++) printf("%s", Previous[j]);
printf("%s\n", $0)
i=0;
}
}'
|
|
|
>
|
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#! /bin/sh
sed 's/begin / /' |\
sed 's/end / /' |\
sed 's/\[\([0-9,]*\)\]/(\1)/g' |\
sed 's/:=/ = /' |\
sed 's/\*\*/\^/g' |\
sed 's/mtt\([a-z]*\)\([0-9]\)\([0-9]*\)/mtt\1(\2\3)/g' |\
awk '{
sub(/^[\ ]*/, "", $0)
sub(/\$$/, ";", $0)
if (match($NF,"[;\#\.\%]$")==0){
Previous[++i] = $0
}
else {
for (j=1;j<=i;j++) printf("%s", Previous[j]);
printf("%s\n", $0)
i=0;
}
}' |\
sed 's/#/%/g'
|