haskell – 为什么gnu readline要求我控制c两次？

发布时间：2020-12-16 04:58:22 所属栏目：百科来源：网络整理

导读：通常,Control-C会向程序发送一个sigint,如果没有捕获它就会将其杀死. gnureadline库将为sigint安装处理程序.但是,即使在 haskell中禁用这些处理程序,我仍然需要按两次Control-C才能终止程序.这是怎么回事？ import System.Console.Readlinemain = do setCatc

通常,Control-C会向程序发送一个sigint,如果没有捕获它就会将其杀死. gnureadline库将为sigint安装处理程序.但是,即使在 haskell中禁用这些处理程序,我仍然需要按两次Control-C才能终止程序.这是怎么回事？

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

解决方法

这可能与 cooked/uncooked/rare终端模式有关; ^ C并不总是发送信号.读取线似乎很难解开终端,因此键盘输入引起的任何信号都必须归因于读取线本身的逻辑;似乎有理由它可能只触发两个连续^ Cs上的SIGINT(特别是因为对于许多使用readline的程序,如shell和REPL,在单个^ C上退出的程序会非常烦人！).

您可以通过使用readline API将^ C重新绑定到触发SIGINT的某些代码来更改此行为.我没有使用Haskell的readline,只是来自C,所以我不确定你是怎么做到的,但是the binding似乎足够丰富来实现它.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!