We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
The history writer is just a stdio interface so add a config option to alter the history endpoint.
The text was updated successfully, but these errors were encountered:
Sessionable history (#14)
7939436
To redirect shell history:
pipe: --create foo --file bar.txt history-set-write-pipe: foo
Because it is a standard murex named pipe, you can also use other writers. eg
pipe: --create foo --tcp-dial localhost:8000 history-set-write-pipe: foo
...or even disable history logging entirely using the builtin null pipe
history-set-write-pipe: null
Sorry, something went wrong.
No branches or pull requests
The history writer is just a stdio interface so add a config option to alter the history endpoint.
The text was updated successfully, but these errors were encountered: