ubuntu - 如何将 GHCI(命令和命令结果)输出到 bash 和文本文件？

Question

我想要的是

将我输入到 GHCI 中的命令复制到文本文件中

例如:我将一个文件加载到 GHCI 中并在文件中运行一个函数 我想要如何运行该函数以打印到文本文件

复制命令输入的结果，即使它是错误的。我还希望命令和结果像往常一样显示在 shell 上。 (我正在使用它来跟随我的教授，以便我可以输入他的命令并稍后研究它们)

如果我不必每次在 GHCI 上运行任何东西时都输入一个大命令，我会更喜欢它。因此，我只想加载带有 txt 文件的 GHCI，它会将所有内容推送到那里。我还希望它附加到文本文件而不被覆盖。

到目前为止我发现了什么。 . .

使用 ghci file.hs |& tee -a file.txt 加载 ghci 有效，但它不打印我只输入结果的命令(包括错误)

~/.ghc/ghci_history 中有一个 ghci 历史记录，它将我输入到 GHCI 的下一个命令附加到文件顶部(第一行)，但不包括命令

的结果

bash 历史记录不包括我输入的 GHCI 命令。它保存的最后一件事是当我最初加载到 GHCI

时

任何帮助表示赞赏。

Answer 1

这就是 script命令是为了。你可以像这样使用它:

% script -a ghci.log -c ghci
Script started, output log file is 'ghci.log'.
GHCi, version 8.10.4: https://www.haskell.org/ghc/  :? for help
Prelude> "lul"
"lul"
Prelude> :q
Leaving GHCi.
% cat ghci.log
Script started on 2021-03-17 20:28:31-04:00 [TERM="rxvt-unicode-256color" TTY="/dev/pts/8" COLUMNS="106" LINES="56"]
GHCi, version 8.10.4: https://www.haskell.org/ghc/  :? for help
Prelude> "lul"
"lul"
Prelude> :q
Leaving GHCi.

请注意，准确地记录所有内容(包括颜色代码、退格键和其他终端控制序列)是非常勤奋的，因此您应该小心查看和编辑生成的日志的方式。