Files
mgmt/misc
James Shubin b65a9abf8e misc: Add two scripts to help debug things
This adds two new helper scripts that are good for debugging mgmt. Just
build and add `sigtee` to your ~/bin/ along with filter-golang-stack.py
and mgmt_debug.sh and use the later to call mgmt as you would normally.

For example, I might do:

$ mgmt_debug.sh ./mgmt run --tmp-prefix lang examples/lang/hello0.mcl

And if I kill it with ^\ then I'll get a filtered trace at the end in my
$PAGER (which is assumed to be `less`) and this should make my life
easier.

As a cool bonus, this means we use bash, python, and golang all
together!
2020-01-13 01:07:00 -05:00
..
2020-01-03 20:08:37 -05:00
2020-01-03 20:08:37 -05:00
2016-04-25 22:52:08 -04:00
2019-02-24 12:28:59 -05:00
2018-12-21 06:22:12 -05:00
2019-10-04 06:49:04 -04:00