Skip to content

bash: Improve default history options#1522

Merged
ermo merged 1 commit intomainfrom
bash-default-history
Mar 19, 2026
Merged

bash: Improve default history options#1522
ermo merged 1 commit intomainfrom
bash-default-history

Conversation

@joebonrichie
Copy link
Copy Markdown
Contributor

Summary

This tweaks annoying default behaviours for modern usage

  • Do not overwrite history when using terminals in parallel
  • Dedupe entries from history
  • Increase the default size slightly

Test Plan

See my history isn't nuked when i close a terminal tab
Verify env variables are set

Checklist

  • Recipe was built and tested against the volatile stream
  • This change could gainfully be highlighted in the Stream Update notes once merged

This tweaks annoying default behaviours for modern usage

- Do not overwrite history when using terminals in parallel
- Dedupe entries from history
- Increase the default size slightly
Copy link
Copy Markdown
Member

@ermo ermo left a comment

Choose a reason for hiding this comment

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

Let's give it a go.

@ermo ermo merged commit fafe914 into main Mar 19, 2026
3 checks passed
@ermo ermo deleted the bash-default-history branch March 19, 2026 12:14
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