Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

379K
active users

mastodon.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-nightly.2025-02-28-security

Public
nixCraft 🐧

Linux users, when they need to run a command in the terminal:
⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️⬆️ Ah, here it is!

Peter N. M. Hansteen

@nixCraft bash and IIRC most other shells have Ctrl-R for command history search. I am always baffled by hearing people do not know this.

Dec 23, 2023, 08:30 PM·Public·Web
1boost·2favorites
Public
Björn Gohla

@pitrh @nixCraft `history | grep foo` and `!n` are also super useful

Public
mark

@6d03 @pitrh @nixCraft and when you know around the things you used the command you need, grep -a 5, or somewhere nonsense.

ExploreLive feeds
About