Facebook の Pysa ツールは便利に見えます。Pysa チュートリアルの演習では、相対パスを使用して pyre-check リポジトリで提供されるファイルを参照し、演習ディレクトリの外部のパスを含めます。
https://github.com/facebook/pyre-check/blob/master/pysa_tutorial/exercise1/.pyre_configuration
{
"source_directories": ["."],
"taint_models_path": ["."],
"search_path": [
"../../stubs/"
],
"exclude": [
".*/integration_test/.*"
]
}
pyre-check リポジトリには Django 用に提供されたスタブがあり、pyre チェックがインストールされているパスがわかっている場合は、ハードコードして.pyre_configuration
何かを動作させることができますが、別の開発者が pyre-check を別の方法でインストールする可能性があります。
これらの提供されたスタブを参照するためのより良い方法はありますか、それとも作業中のリポジトリにコピーする必要がありますか?