oilshell.org
WILD
/
shell
/
bashdb
/ init
Successfully parsed
5
shell scripts totalling
617
lines in
0.33
seconds (
1869.7
lines/sec).
0
OSH-to-Oil translations failed.
Side By Side
Lines
Parsed?
Parse Process Time (secs)
Translated?
Filename
view
90
OK
0.06
OK
io.sh
view
255
OK
0.11
OK
opts.sh
view
125
OK
0.05
OK
pre.sh
view
71
OK
0.06
OK
require.sh
view
76
OK
0.05
OK
vars.sh