Skip to content

Record input from user in PFFTT file#120

Merged
istathar merged 7 commits into
technique-lang:mainfrom
istathar:record-input
Jun 21, 2026
Merged

Record input from user in PFFTT file#120
istathar merged 7 commits into
technique-lang:mainfrom
istathar:record-input

Conversation

@istathar

@istathar istathar commented Jun 20, 2026

Copy link
Copy Markdown
Member

Fix a bug where previously entered bindings were not preserved and thus the user was re-prompted for those values on resume.

Record values supplied to procedures as Input. The line is recorded after the user data is entered, before entering the procedure noted with Begin.

Fix infinite loop when an inline code block in a descriptive is bound.

Finally, as a small quality of life improvement, we trim the final trailing newline when capturing command output, reducing noise in record and matching the behaviour that people are otherwise use to when interpolating commands in shells.

@istathar istathar self-assigned this Jun 20, 2026
@istathar istathar merged commit 47d1bea into technique-lang:main Jun 21, 2026
1 check passed
@istathar istathar deleted the record-input branch June 21, 2026 04:57
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