Conversation:

Notices

1. vinc17 (vinc17)'s status on Tuesday, 07-Aug-2012 10:09:10 EDT vinc17

   Remote profile options...
   { $SHELL -c 'trap "kill -INT $$" INT; sleep 5'; echo $? } gives 4 different behaviors with bash, dash, ksh93 and posh. !debian !unix !shell
   • vinc17 (vinc17)'s status on Tuesday, 07-Aug-2012 10:10:33 EDT vinc17

     Remote profile options...
     Of course, to get the different behaviors, one needs to type Ctrl-C (or whatever key that gives a SIGINT) before the 5 seconds.