abdulbadii/history-tidying
View on GitHub ↗ ★ 9 Shell
Tidying up Bash command history by putting good control in erasing certain lines.
8 mentions on Hacker News by 3 people: 8 stories, 0 comments · first 2020-08-16 · latest 2022-09-09
20082026
-
▲ 2
Fundamental, useful tool: sort out Bash command historystory by mardiyah · 2022-09-09 · 0 comments
-
▲ 3
A useful Bash tool to trim up command historystory by mardiyah · 2022-08-20 · 0 comments
-
▲ 6
Show HN: Free lunch Bash script; command history manager to optimize itstory by mardiyah · 2022-08-06 · 0 comments
-
▲ 2
Useful Bash script help manage command historystory by mardiyah · 2022-07-31 · 2 comments
-
▲ 3
Tidying up Bash command history easily control, erase linesstory by mardiyah · 2022-07-24 · 0 comments
-
▲ 3
Show HN: Tidying up Bash command history nicelystory by mardiyah · 2022-07-22 · 0 comments
-
▲ 1
Good news, found nice util for Developerstory by mubarok · 2020-08-30 · 0 comments
-
▲ 1
I found the Linux history tool usefulstory by abdan · 2020-08-16 · 0 comments