dotfiles/zsh/custom/plugins/asy2png/asy2png.plugin.zsh
2018-06-27 17:06:19 +02:00

6 lines
149 B
Bash

function asy2png {
asy "$1"
filename=$(basename -s .asy "$1")
rsvg-convert "$filename.svg" -o $(echo "$filename.svg" | sed -e 's/svg$/png/')
}