Skip to content

Instantly share code, notes, and snippets.

View amordo's full-sized avatar
💭
🍕

Alexander M. amordo

💭
🍕
View GitHub Profile
@dvdbng
dvdbng / zsh_to_fish.py
Created December 21, 2016 18:02
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):