Closed aulMasa closed 2 years ago
@aulMasa for clarity, you're asking for a setting within the extension to be able to set where to look for protolint?
e.g. setting.path = /Users/name/bin/protolint
where /Users/name/bin
is not in $PATH
yes
@aulMasa this has been released as part of 0.7.0
Is it possible to add a user path to the protolint binary instead of $PATH ?