Open parker-research opened 1 month ago
Adding an alias should be relatively simple. Switching the signal handling at the prompt is possible, just needs to be handled correctly so they only have the finish
functionality at the prompt.
I've added the alias for exit to development. Tweaking the signals needs more work.
When running
vvp
to execute a file, pressing Ctrl+C puts you into a terminal-like interface with the following commands:Adding an
exit
alias forfinish
would be very helpful so that it aligns with a standard *nix approach to "getting out of tools when at a prompt".Additionally, Ctrl+C and Ctrl+D at this prompt should both probably do the
finish
action (that is, killvvp
).