Running curl from a script I attempt to terminate a long download.
kill -INT curl has no effect
kill -TERM curl terminates curl.Does curl trap SIGINT for some special behavior, leaving the default SIGTERM? -- Thanks, gil -- Unsubscribe: https://lists.haxx.se/mailman/listinfo/curl-users Etiquette: https://curl.se/mail/etiquette.html
