Julia Evans on Nostr: what problems have you run into with history in your shell? so far I have these, what ...
what problems have you run into with history in your shell? so far I have these, what am I missing?
- screwing up a command & getting that stuck in the history.
- history getting truncated (would love more details about why this happened to you! was it HISTSIZE? something else?)
- can't access history from other open terminals
- accidentally putting (or not putting!) a space at the beginning of a command
(please only problems related to history, and let me know which shell you're using!)
Published at
2024-08-30 18:55:44Event JSON
{
"id": "4c9b445cfcd903abc99f60c6f281790c9dd08c79cfaca5a0a2c7fc76f5f6d5af",
"pubkey": "26cad6f140bf86de9c26b7c15419cab1aebdd7086358d26aa2d750e21cf3bf2e",
"created_at": 1725044144,
"kind": 1,
"tags": [
[
"proxy",
"https://social.jvns.ca/users/b0rk/statuses/113052493078723996",
"activitypub"
]
],
"content": "what problems have you run into with history in your shell? so far I have these, what am I missing?\n\n- screwing up a command \u0026 getting that stuck in the history.\n- history getting truncated (would love more details about why this happened to you! was it HISTSIZE? something else?)\n- can't access history from other open terminals\n- accidentally putting (or not putting!) a space at the beginning of a command\n\n(please only problems related to history, and let me know which shell you're using!)",
"sig": "883c2b362365dab15a16d948b43ecec2f0c7c698f9803160068d53dc26902fd02dd2e64ada9581884364de3fb5761be42fb5e2c1ae566690a45c2f41aa8623bd"
}