diff options
author | Andrés <andmarti@gmail.com> | 2021-05-07 12:45:28 -0300 |
---|---|---|
committer | Andrés <andmarti@gmail.com> | 2021-05-07 12:45:28 -0300 |
commit | 22d34e541e4a01f126d7130f6813310ba6e3de5f (patch) | |
tree | c80568596da4ef49d16559f69f96f8fdc3e767fc /src/debug.sh | |
parent | 716f8016a0f0a3ae663d41f0504eec2712eda9f9 (diff) |
make @getent work
Diffstat (limited to 'src/debug.sh')
-rwxr-xr-x | src/debug.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/debug.sh b/src/debug.sh new file mode 100755 index 0000000..364be31 --- /dev/null +++ b/src/debug.sh @@ -0,0 +1,4 @@ +#!/bin/bash +tmux splitw -h -p 35 "gdbserver :12345 ./sc-im r.sc" +tmux selectp -t 0 +cgdb -x gdb.gdb |