Skip to content

Refine console output - #112

Merged
istathar merged 13 commits into
technique-lang:mainfrom
istathar:refine-console-output
Jun 13, 2026
Merged

Refine console output#112
istathar merged 13 commits into
technique-lang:mainfrom
istathar:refine-console-output

Conversation

@istathar

Copy link
Copy Markdown
Member

Place path in prompt.

We now render the fully qualified path, and have made an adjustment that each segment of a qualified paths is separated by a / character. This matches expectations, and although collapsing a procedure and it's step was cute, it was harder to parse visually. Using the separator consistently at all layers considerably simplifies understanding the path. Also, the full nested scope of the location is shown; although a procedure can be invoked anywhere in a document, it's fully qualified path is that reflecting the top-level procedure, section, procedure, step etc it is a part of

We now get the user confirm completion on exit from each scope. While it is momentarily convenient to automatically close a procedure if all its steps are done, or likewise for a section, the judgment that a scope is actually complete is best left up to the user.

Finally, we also request confirmation before running external commands via exec().

@istathar istathar self-assigned this Jun 13, 2026
@istathar
istathar merged commit 16ce822 into technique-lang:main Jun 13, 2026
1 check passed
@istathar
istathar deleted the refine-console-output branch June 14, 2026 04:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant