OILS
/
devtools
/ rrgdb
View on Github
|
oilshell.org
7 lines, 6 significant
1
#!/bin/sh
2
#
3
# For running 'rr' under Eclipse.
4
#
5
# https://github.com/mozilla/rr/wiki/Using-rr-in-an-IDE
6
7
exec rr replay -- "$@"