Skip to content

Instantly share code, notes, and snippets.

@dvdbng
Created December 21, 2016 18:02
Show Gist options
  • Save dvdbng/e08ce5ba50f224b59c9fe2a91fdcea61 to your computer and use it in GitHub Desktop.
Save dvdbng/e08ce5ba50f224b59c9fe2a91fdcea61 to your computer and use it in GitHub Desktop.
Migrate zsh history to fish
import os
import re
def zsh_to_fish(cmd):
return (cmd.replace('&&', '; and ')
.replace('||', '; or '))
def is_valid_fish(cmd):
for reg in r'^\S+=', r'\$\(', r'\[ ', r'`', r'\\$':
if re.match(reg, cmd):
return False
return True
with open(os.path.expanduser('~/.local/share/fish/fish_history'), 'a') as o:
with open(os.path.expanduser('~/.zsh_history')) as f:
for line in f:
line = line.strip()
if line and re.match('^:\s+\d+:\d;', line):
meta, command = line.split(';', 1)
command = zsh_to_fish(command)
if is_valid_fish(command):
time = meta.split(':')[1].strip()
print('Add', command)
o.write('- cmd: %s\n when: %s\n' % (command, time))
@jose1711
Copy link

👍

@amordo
Copy link

amordo commented Dec 5, 2022

@depau +1, ty!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment