GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — scripts/python/remove_duplicates_zsh_history.py at main · bearlike/scripts Expand file tree/ Copy pathremove_duplicates_zsh_history.pyMore file actions 31 lines (23 loc) · 872 Bytes / Copy pathremove_duplicates_zsh_history.pyFile metadata and controls31 lines (23 loc) · 872 Bytes 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. |