settings.json
command
使用するripgrepバイナリへのパスを指定し、同梱されているバイナリを上書きします。
使い方・用途
- システムにインストールされている特定のバージョンのripgrepを優先的に使用したい場合や、標準のバイナリが動作しない特殊な環境でのパス指定に使用します。
英語原文(公式ドキュメントより)
Path to the ripgrep binary to use
使用するripgrepバイナリへのパスを指定し、同梱されているバイナリを上書きします。
Path to the ripgrep binary to use