LeTak@feddit.org to linuxmemes@lemmy.world · 4 months agoMen can't read our signalsfeddit.orgimagemessage-square45fedilinkarrow-up1376arrow-down119
arrow-up1357arrow-down1imageMen can't read our signalsfeddit.orgLeTak@feddit.org to linuxmemes@lemmy.world · 4 months agomessage-square45fedilink
minus-squareredjard@lemmy.dbzer0.comlinkfedilinkarrow-up3·4 months agoI type kill -4 $$ all the time so I don’t pollute bash history. It’s probably up there as most typed command in 3rd place after l and cd ... I swear I can type the entire thing in 1s flat on a good day.
minus-squaretreesoid@lemmy.worldlinkfedilinkarrow-up1·5 days agoCtrl+D sends EOF, which also closes the shell, but is less to write.
minus-squareredjard@lemmy.dbzer0.comlinkfedilinkarrow-up1·5 days agoBut it saves the command history to disk. It makes the exit command redundant, so that is removed from the history, but all other commands in all cases but mistakenly sshing into the wrong machine will still be saved.
I type
kill -4 $$all the time so I don’t pollute bash history. It’s probably up there as most typed command in 3rd place afterlandcd ...I swear I can type the entire thing in 1s flat on a good day.
Ctrl+D sends EOF, which also closes the shell, but is less to write.
But it saves the command history to disk.
It makes the exit command redundant, so that is removed from the history, but all other commands in all cases but mistakenly sshing into the wrong machine will still be saved.