Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add commands to zsh history #160

Merged
merged 2 commits into from
Jun 9, 2023
Merged

Conversation

gbe
Copy link
Contributor

@gbe gbe commented Jun 2, 2023

Description

Add some zsh history commands

@ShutdownRepo ShutdownRepo added the enhancement New feature or request label Jun 2, 2023
@ShutdownRepo ShutdownRepo self-assigned this Jun 2, 2023
@qu35t-code qu35t-code added the ready for merge in the waitlist for merge, requires preliminary steps label Jun 8, 2023
@ShutdownRepo ShutdownRepo merged commit a4c90c3 into ThePorgs:dev Jun 9, 2023
@ShutdownRepo ShutdownRepo removed the ready for merge in the waitlist for merge, requires preliminary steps label Jun 16, 2023
@gbe gbe deleted the zsh-history-v2 branch July 25, 2023 13:02
@ShutdownRepo ShutdownRepo mentioned this pull request Aug 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants