From 763eaed2afc1a0ac97004dadfa6e1445adf289ca Mon Sep 17 00:00:00 2001
From: Discord9 <discord9@163.com>
Date: Tue, 31 Jan 2023 16:28:34 +0800
Subject: [PATCH] feat: impl Detail option for not set SIG_INT

---
 src/settings.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/settings.rs b/src/settings.rs
index 711ae00f3..836bb1401 100644
--- a/src/settings.rs
+++ b/src/settings.rs
@@ -245,6 +245,9 @@ fn settings_from(matches: &ArgMatches) -> (Settings, RunMode) {
             if name == "warn_default_encoding" {
                 warn_default_encoding = true
             }
+            if name == "no_sig_int" {
+                settings.no_sig_int = true;
+            }
             let value = parts.next().map(ToOwned::to_owned);
             (name, value)
         }));