parsonsmatt / intero-neovim

A neovim plugin for Intero, forked from ghcmod-vim
218 stars 28 forks source link

Use delete() for deleting the logfile #116

Closed blueyed closed 6 years ago

blueyed commented 6 years ago

rm -rf is scary, and system() spawns a shell.

parsonsmatt commented 6 years ago

Nice! Thanks for the PR :smile: