Skip to content

Instantly share code, notes, and snippets.

@baudneo
Forked from muendelezaji/bash-to-zsh-hist.py
Created February 17, 2024 19:35
Show Gist options
  • Save baudneo/8db2464b98e9b6aac9954c2dc78bdd2a to your computer and use it in GitHub Desktop.
Save baudneo/8db2464b98e9b6aac9954c2dc78bdd2a to your computer and use it in GitHub Desktop.
Convert Bash history to Zsh history
#!/usr/bin/env python
# -*- coding: utf-8 -*-
#
# This is how I used it:
# $ cat ~/.bash_history | python bash-to-zsh-hist.py >> ~/.zsh_history
import sys
import time
def main():
timestamp = None
for line in sys.stdin.readlines():
line = line.rstrip('\n')
if line.startswith('#') and timestamp is None:
t = line[1:]
if t.isdigit():
timestamp = t
continue
else:
sys.stdout.write(': %s:0;%s\n' % (timestamp or time.time(), line))
timestamp = None
if __name__ == '__main__':
main()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment