如何为getLine提供（用户可交互的）默认字符串？

Question

我想向终端用户提供一个可编辑的字符串，而不是给出一个空的缓冲区来写。

我正在思考类似于带有默认字符串的文本表单，这在UI中非常常见。

使用System.IO来模拟这种行为是否有任何技巧，因为更复杂的库（如ansi-terminal）不提供此实用程序？

Answer 1

如上所述。来自getInputLineWithInitial的{​​{1}}做了伎俩！