我想将所有输出和输入记录到GHCI中的文件中。
到目前为止我所做的：
我曾尝试在GHCI中使用search_id='9ef344b4632a'
for i in $(docker image ls -aq); do
docker image inspect --format '{{.Parent}}' $i | grep -q "$search_id" && echo $i
done
，但我没有看到任何:h或options。
我也曾尝试搜索flags的某些配置，但仍然没有运气。
我知道.ghc/ghci.conf存储所有输入：command。
我的GHCI版本：7.10.3版