Skip to content

Tidy help messages#58

Open
jserv wants to merge 1 commit intotaviso:mainfrom
jserv:tidy-help-message
Open

Tidy help messages#58
jserv wants to merge 1 commit intotaviso:mainfrom
jserv:tidy-help-message

Conversation

@jserv
Copy link
Contributor

@jserv jserv commented May 30, 2022

After the completion of function 'read_startup_ri_file', a trailing
newline character was written into the terminal. Therefore, there was
obviously a blank line between the original 1-2-3 help message and our
own. Using ANSI escape code, we can move cursor to the beginning of
the previous line and then dump the desired messages seamlessly.

@taviso
Copy link
Owner

taviso commented May 30, 2022

Thanks, good point - wish there was an easy way to clean that up, I'm nervous about putting raw control codes in there! Maybe it's okay with isatty() though

@jserv
Copy link
Contributor Author

jserv commented May 31, 2022

Thanks, good point - wish there was an easy way to clean that up, I'm nervous about putting raw control codes in there! Maybe it's okay with isatty() though

Alternatively, we can modify the format string in file root/lotus/123.v10/ri/USA-English/123.ri -- remove the trailing $ character in item 312. And then, everything works perfectly. However, I have no idea how to automate.

After the completion of function 'read_startup_ri_file', a trailing
newline character was written into the terminal. Therefore, there was
obviously a blank line between the original 1-2-3 help message and our
own. Using ANSI escape code, we can move cursor to the beginning of
the previous line and then dump the desired messages seamlessly.
@jserv jserv force-pushed the tidy-help-message branch from 3edabb4 to ed67cf4 Compare May 31, 2022 13:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants