GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — scripts/python/remove_duplicates_zsh_history.py at main · bearlike/scripts

Expand file tree

/

remove_duplicates_zsh_history.py

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
31 lines (23 loc) · 872 Bytes
/

remove_duplicates_zsh_history.py

Copy path

File metadata and controls

31 lines (23 loc) · 872 Bytes
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#!/usr/bin/env python3
# Remove duplicates from zsh history file
# Makes sure that the history file is not bloated with duplicates
# Makes zsh-autosuggestions much better
# This script is to be run in a cron job
def remove_duplicates_from_history_file(path):
commands = set()
with open(path) as file:
lines = file.readlines()
for line in lines:
command = line.split(";")[-1]
commands.add(command)
# TODO: Messes up the order of commands (timestamps)
with open(path, "w") as file:
begin = 1600000000
for command in commands:
if command in ["\n", "", " ", None]:
continue
file.write(f": { begin }:0;" + command)
begin += 1
if __name__ == "__main__":
history_path = "/home/user/.zsh_history"
remove_duplicates_from_history_file(path=history_path)
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.