this post was submitted on 18 Jan 2024
128 points (93.8% liked)

Programmer Humor

19315 readers
231 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
 
all 26 comments
sorted by: hot top controversial new old
[–] [email protected] 16 points 8 months ago* (last edited 8 months ago) (3 children)

I legitimately back up my history file. Mostly because it likes to truncate itself randomly (though this may have been fixed in zsh, or my config, because it's been a while). Just a systemd timer that triggers a shell script to copy it by date and rotate anything older than 100 copies.

Edit: WHY DID I SAY ANYTHING? After like 3 months of no problems, my history truncated itself to 3 entries a few minutes ago. I've only ever seen a few days of loss before that lol.

[–] jelloeater85 7 points 8 months ago (1 children)

Have you tried Atuin? It's amazing.

[–] [email protected] 3 points 8 months ago

I did try it for a bit. IIRC it slowed me down more than I cared for. Maybe worth trying again, though.

[–] [email protected] 3 points 8 months ago (1 children)

I'm annoyed when my thirteen bash instances don't share history, but I'd probably be a lot more annoyed if they did.

[–] [email protected] 2 points 8 months ago (1 children)

That's one thing I like about zsh, or my config at least, because I use i3 and therefore tend to open lots of shells. History is mostly local until I hit return twice (two empty prompts) at which point I can get history from other sessions. It's stuck more global at that point though aside from future history.

[–] [email protected] 1 points 8 months ago

Ooh. I like that. I'm gonna try that, thanks.

[–] [email protected] 2 points 8 months ago (1 children)
[–] [email protected] 2 points 8 months ago

Fortunately I have my hourly backups! 😅

[–] [email protected] 14 points 8 months ago (1 children)

I just start every command with a space, don't see the issue.

[–] mumblerfish 14 points 8 months ago* (last edited 8 months ago) (2 children)

Was working on a server where I did not want to put some dumb command into the history, so I add a space like you do. Press up. The command is there. The fucking insult I felt.

[–] [email protected] 2 points 8 months ago* (last edited 8 months ago)

It's disabled by default, but you can enable it in .bashrc and then delete that edit session using a spaced command.

Edit: brain fart

[–] superbirra 1 points 8 months ago

it also depends on the shell, in zsh it persists on local history but does not get written to history file

[–] [email protected] 11 points 8 months ago (1 children)

Can somebody please tell me what history -c is?

[–] akdas 6 points 8 months ago* (last edited 8 months ago)

It lets you clear the bash command history, either completely or selectively. Here's the GNU docs for the history builtin: https://www.gnu.org/software/bash/manual/html_node/Bash-History-Builtins.html#index-history

(I'm not too familiar, someone else can clarify: is this available outside bash?)

What's interesting to me is the -a option, which lets you "flush" the history for the current session without ending the session. I can see that being useful!

[–] [email protected] 6 points 8 months ago (1 children)

Don't fucking do this in zsh, it does NOT do the same thing that it does in bash.

[–] [email protected] 2 points 8 months ago (1 children)
[–] superbirra 0 points 8 months ago (1 children)
[–] [email protected] 1 points 8 months ago
[–] aCodeCrafter 5 points 8 months ago (1 children)

Welp, just did this to see what -c does...

Excuse me whilst I cry myself to sleep

[–] [email protected] 0 points 8 months ago