search

JingJingJingJing / Sira

This is sira
2 stars 1 forks source link

SPIKE: How to delete lines in CLI or stdin #65

Closed Sailer43 closed 6 years ago

Sailer43 commented 6 years ago

According to #57, we need to research how to delete lines in stdin stream or CLI.

Sailer43 commented 6 years ago

Ansi escape sequence for cursor up one line: '\033[1A'; Ansi escape sequence for delete line below: '\033[K'; We have tested this feature on powershell, cmd, and Apple bash.