op · September 28, 2012 21:25 · krasnobaev · Mar 29, 2018 · brnl · Mar 7, 2019
diff --git a/bash-history-to-zsh-history.py b/bash-history-to-zsh-history.py
 #!/usr/bin/env python
 # -*- coding: utf-8 -*-
 # 
 # This is how I used it:
 # $ cat ~/.bash_history | bash-history-to-zsh-history >> ~/.zsh_history

 import sys


 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
        elif timestamp:
            sys.stdout.write(': %s:0;%s\n' % (timestamp, line))
            timestamp = None


 if __name__ == '__main__':
    main()
	#!/usr/bin/env python
	# -- coding: utf-8 --
	#
	# This is how I used it:
	# $ cat ~/.bash_history \| bash-history-to-zsh-history >> ~/.zsh_history

	import sys


	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
	elif timestamp:
	sys.stdout.write(': %s:0;%s\n' % (timestamp, line))
	timestamp = None


	if __name__ == '__main__':
	main()