プロジェクトなしで Leiningen 検索を実行すると、http://repo1.maven.org および clojars.org からリポジトリ インデックスをダウンロードしようとします。これらの中央リポジトリではなく、リポジトリ マネージャーからこのインデックスをダウンロードするために、環境変数を渡す方法はありますか?
私はすでにいくつかのビルドに Maven を使用しており、リポジトリをグローバル ミラーとして定義する settings.xml ファイルがあります。Leiningen が Proxy 構成を取得しようとしているときに Maven 設定を使用していることがわかりますが、インデックス ファイルのダウンロードには同じ構成を使用していません。
数秒しかかからないため、リポジトリ マネージャーからリポジトリ インデックスをダウンロードしたいと考えています。(Central からインデックスをダウンロードするには、非常に長い時間がかかります。) 明らかな何かが欠けていますか?