なぜgnuのreadlineはコントロールcを2回押す必要がありますか？

Question

通常、Control-Cはsigintをプログラムに送り、捕捉されていなければ殺します。 gnureadlineライブラリはsigintのハンドラをインストールします。しかし、これらのハンドラをhaskellで無効にしても、プログラムを強制終了するためにControl-Cを2回押す必要があります。どうしたの？

import System.Console.Readline 

main = do 
     setCatchSignals False 
     mainLoop 


mainLoop = do 
     maybeLine <- readline ">" 
     case maybeLine of 
      Nothing -> putStrLn ":(" 
      Just line -> do 
          putStr line 
          putStr " catch:" 
          catch <- getCatchSignals 
          putStrLn $ show $ catch 
     mainLoop 

Answer 1

これはcooked/uncooked/rare端末モードに関連している可能性があります。 ^Cは必ずしも信号を送信しません。 readlineがターミナルを隠している可能性が高いので、キーボード入力によって引き起こされるシグナルは、readline自体のロジックに起因するものでなければなりません。 （特にシェルやREPLなどのreadlineを利用する多くのプログラムでは、1つの^Cで終了するプログラムは非常に厄介なものになります）。

この動作を変更するには、readline APIを使用して、^CをSIGINTをトリガーするコードに再バインドします。私はハスケルからのreadlineをCのものから使用していないので、あなたはこれについてどうやってどうやって行くのかは分かりませんが、the bindingは十分に豊かに見えます。