Store CLI history even if query starts with spaces#12847
Store CLI history even if query starts with spaces#12847ebyhr merged 1 commit intotrinodb:masterfrom
Conversation
nineinchnick
left a comment
There was a problem hiding this comment.
That's the default behavior of bash, but I guess cli users don't have to know it and can be pasting queries with extra chars
i find it very useful to be able to skip history, especially when i rely on my history to fire up queries effectively.
if a user is unaware of history, it doesn't matter (just my 2c) |
|
Why would history not be saved if the line has leading spaces? I think that's a UI inconsistency and usability issue. In particular, is seems wrong that one of these lines will get saved but the other one won't: I consider that a bug. |
Description
Previously, query starting with spaces likes below wasn't stored to history.
Documentation
(x) No documentation is needed.
Release notes
(x) Release notes entries required with the following suggested text: