Skip to content

Instantly share code, notes, and snippets.

View espinuevajaime's full-sized avatar
🏠
Working from home

emiaj espinuevajaime

🏠
Working from home
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):