There is a feature in termux (android) history command which when you use !371 to execute the command 371 in the command history it prints that command in the prompt instead of executing it, then you just press enter to execute it. I found it very useful because many times I want to execute a command that is in the history but with some modification, I’m using Konsole in my desktop PC and I couldn’t find an option to make such a thing. The only one I found is executing history -p !371, but that just print the command to stdout and not to the prompt itself.
EDIT: the answer is !371:p then up and the command 371 shows up in the prompt. Thanks Schizo!
As the other commenters have mentioned, this is part of the shell configuration and outside the scope of the terminal emulator.
You can configure this yourself by adding
shopt -s histverifyto your bashrc.https://www.gnu.org/software/bash/manual/bash.html#Miscellaneous-Commands
Add to your .bashrc following lines:
bind '"\C- ":shell-expand-line' bind '"\C-x":edit-and-execute-command'Control+Space: Now you can expand variables, aliases, !492 history commands, the tilde without executing the line. Now you can make changes to the command.Control+x: Opens the current command in an external editor (such as Vi, or whatever is setup for VISUAL or EDITOR variable). Now you can edit the command and if you save the temporary file and exit editor, the modified command will be executed. If you do not save, the unmodified command before launching the editor will be executed.
Awesome!
There’s always Ctrl+R
Alternatively, use
fc 371to open the command in an editor and take your time figuring out how you might want to change it.i have a need for something like this too; but i’ve been making due with crtl+r and that’s been good enough to prevent me from taking action on it.
I didn’t know that, it’s not what I was asking but it’s a cool command, thanks.
careful with it; i need the thing that you asked for too and crtl+r has been effective enough to prevent me to creating it.
but can you modify the command? I tried but I couldn’t.
For CTRL+R, once you see the command you want, hit ESC, and the command is there ready to edit.
yes. use the arrow keys to modify it before hitting enter
the answer is !371:p and then up!
Things like that aren’t a feature of the terminal emulator, but of the shell. Try to find out which shell you’re using on Android, maybe try using that one on desktop too.
basename $0 returns bash in both.
Uh, are you sure your shell you’re using is bash and not zsh or something else?
Bash is indeed just !12345.
Same behavior for me
Yeah, it’s bash. But !12345 executes the command 12345, but I don’t want to execute it, just print it to the prompt.
Does !12345:p do what you want?
Edit: that also makes hitting the up arrow result in whatever command that was, so if you wanted to edit the line or whatever, you could !12345:p, up, then edit and execute.
ohh now I got it…yes thats it! Thanks!!
It doesn’t do anything, just prints a blank line.
