inotifywait - 每秒只重启 ghci 保存

如何解决inotifywait - 每秒只重启 ghci 保存

脚本

我有一个简短的 bash 脚本，它使用 inotifywait 重新启动给定文件上的 ghci repl：

#!/bin/sh

$(while inotifywait -e close_write $1; do pkill ghc; done) &

while inotifywait -e close_write $1
do 
    sleep 2
    stack ghci $1    
done

说明

这一行：

$(while inotifywait -e close_write $1; do pkill ghc; done) &

负责在保存文件时停止 ghc。

本节：

while inotifywait -e close_write $1
do 
    sleep 2
    stack ghci $1    
done

负责在保存文件时启动 ghc（延迟 2 秒后）。

试用

鉴于在 vscode 中加载了以下 Haskell 文件：

abc = 123

在终端窗口中按如下方式启动脚本：

$ ./inotifywait-stack-ghci.sh abc.hs

如果你保存文件两次（见下面的问题），repl 应该重新启动。

问题

该脚本非常有效！然而，有一个问题：repl 仅在每保存第二个文件时重新加载。所以基本上，要重新加载 repl，我必须将文件保存两次。

有人见过这种东西吗？有什么解决办法吗？

备注

• 我已经用 inotify 标记了这篇文章，但也用 haskell 标记，以防问题在某种程度上与 ghci 不同。

• 在 vscode 中编辑文件时，脚本运行良好。由于 Vim 和 Emacs 保存文件的方式，它们似乎不能很好地使用它。

• 该脚本假设您一次只运行一个 ghc 副本。

• 我一直在 WSL 下的 Ubuntu 20.04.2 中对此进行测试。