this post was submitted on 16 Nov 2024
48 points (98.0% liked)

Linux

48310 readers
645 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
48
submitted 5 days ago* (last edited 5 days ago) by corvus@lemmy.ml to c/linux@lemmy.ml
 

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!

you are viewing a single comment's thread
view the rest of the comments
[–] imogen_underscore@hexbear.net 4 points 5 days ago* (last edited 5 days ago) (3 children)

not sure if it's what you're looking for but on my Konsole (I think it's actually just a bash feature), Ctrl+R lets you search through your command history and easily pull up past commands. it's called reverse-i-search if you wanna check it out.

[–] corvus@lemmy.ml 2 points 5 days ago (1 children)

I was just told, but for the quick test I did I doesn't seem to let me modified the command before executing it.

[–] imogen_underscore@hexbear.net 2 points 5 days ago* (last edited 5 days ago) (1 children)

yeah I think you're supposed to be able to but it seems borked for me too. my terminal kinda freaks out when I try to move the cursor to the right to edit the command.

edit the borking was for sure because i had a broken custom $PS1. i reset it to something normal and i'm able to edit the commands pulled up with Ctrl + R just fine now by hitting the right arrow key.

[–] corvus@lemmy.ml 1 points 5 days ago

That's another great option, thanks.

load more comments (1 replies)