You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
After executing the command tectonic -X watch, when I press Ctrl + C sending the interrupt signal, it seems like watchexec has received the signal successfully, but the program does not terminate. Upon testing, it seems that adding action.quit_gracefully or action.quit in
will do the job. But I'm not sure if it is considered a "hack", or perhaps it is an intended behaviour that the interrupt signal only stop the underlying jobs and not the actual tectonic program.
The text was updated successfully, but these errors were encountered:
After executing the command
tectonic -X watch
, when I press Ctrl + C sending the interrupt signal, it seems like watchexec has received the signal successfully, but the program does not terminate. Upon testing, it seems that addingaction.quit_gracefully
oraction.quit
intectonic/src/bin/tectonic/v2cli/commands/watch.rs
Lines 138 to 143 in 82484db
will do the job. But I'm not sure if it is considered a "hack", or perhaps it is an intended behaviour that the interrupt signal only stop the underlying jobs and not the actual tectonic program.
The text was updated successfully, but these errors were encountered: