Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
Description
the history command is cool but it would be nice to be able to use things like:
- !142 (run the command from the history with index 142)
- !os (run last command starting with "os")
=========================
See http://www.gnu.org/software/bash/manual/html_node/Event-Designators.html
=========================
with this patch, we can access history command list with
! indext
! commandPrefix
for example, history we get
345 osgi/list
then
"! 345" or "! os" we get "osgi/list" execute again
seems we have to add a whitespace between ! and the index number or commandPrefix, so the syntax is not exactly same as bash (which no whitespace between ! and index number)
Attachments
Attachments
Issue Links
- is part of
-
KARAF-215 Upgrade to latest jline2 / jansi
- Closed