在用户键入时编辑 shell 前缀

Question

我正在使用 BufferedReader 从终端读取行：

BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
String cmd;
String displayTime;

while(true)
{
     System.out.print(displayTime +  "> ");

     cmd = in.readLine();

     // Process cmd
}

目标是让 shell 前缀显示剩余时间，直到某些东西到期。 我有一个单独的线程以“5:00”、“4:49”等序列每秒更新一次字符串displayTime ，...通过执行 (int its run() 方法）

while(true)
{
     Thread.sleep(1000);
     decrement(displayTime);
     System.out.print("\r" + displayTime +  "> ");
}

回车符 "\\r" ar 打印语句的开头实现了我想要的，除了当用户打字时，当回车符中断他们时，他们的光标将重置到开头，他们将开始替换他们已经拥有的字符之前输入（虽然 BufferedReader 仍然包含正确的命令，但从视觉上看是错误的）。

例如，键入“listfiles”的结果：

l
li
lis
list
fist   <-- carriage return happens here
fist
filt
file
files

有没有办法编辑 shell 前缀，然后返回到用户之前输入的相同光标位置，以便他们可以无缝恢复？

Answer 1

假设输入来自常规输入（例如，没有curses、readline 等），以下转义序列可用于VT100 兼容终端（包括大多数xterms、vt102 和其他终端模拟器）。 ESC 是转义\\033 ( \\033 )

• 保存光标ESC 7
• 恢复光标'ESC 8`

println 应该类似于：

     System.out.print("\0337\r" + displayTime +  "> \0338");

您还必须确保 System.out 没有被缓冲。