Skip to content

spec_syntax.rst: add linkable section about shell issues#51172

Merged
haampie merged 2 commits intodevelopfrom
hs/docs/spec-syntax
Aug 20, 2025
Merged

spec_syntax.rst: add linkable section about shell issues#51172
haampie merged 2 commits intodevelopfrom
hs/docs/spec-syntax

Conversation

@haampie
Copy link
Copy Markdown
Member

@haampie haampie commented Aug 18, 2025

  • Fix this golden typo: carat -> caret
  • Reduce the verbosity of the shell specific notes by moving them to the bottom, which also ensures they can be linked/referred to more easily.

@haampie haampie changed the title spec_syntax.rst: carat -> caret, and make windows hint less verbose spec_syntax.rst: carat -> caret Aug 18, 2025
@haampie haampie added the v1.0.2 PRs / Bug fixes to backport for v1.0.2 label Aug 18, 2025
@haampie haampie force-pushed the hs/docs/spec-syntax branch 3 times, most recently from 778affc to dca6416 Compare August 20, 2025 14:20
@haampie haampie changed the title spec_syntax.rst: carat -> caret spec_syntax.rst: add linkable section about shell issues Aug 20, 2025
@haampie haampie force-pushed the hs/docs/spec-syntax branch from dca6416 to 228b647 Compare August 20, 2025 14:25
Copy link
Copy Markdown
Contributor

@johnwparent johnwparent left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM for the Windows specific updates, Unix looks good too.

@haampie haampie merged commit 348e003 into develop Aug 20, 2025
29 checks passed
@haampie haampie deleted the hs/docs/spec-syntax branch August 20, 2025 14:37
@alalazo alalazo mentioned this pull request Aug 22, 2025
26 tasks
alalazo pushed a commit that referenced this pull request Aug 22, 2025
Signed-off-by: Harmen Stoppels <[email protected]>
Signed-off-by: Massimiliano Culpo <[email protected]>
haampie added a commit that referenced this pull request Sep 12, 2025
Signed-off-by: Harmen Stoppels <[email protected]>
Signed-off-by: Massimiliano Culpo <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

v1.0.2 PRs / Bug fixes to backport for v1.0.2

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants