ソースファイルを表示するWebページからソースファイルをインポートする方法は?

ソースファイルを表示するWebページからソースファイルをインポートする方法は?

たとえば、このページでは次のようになります。
https://elixir.bootlin.com/linux/latest/source/arch/arm64/boot/dts/arm/fvp-base-revc.dts
.dtsファイルをダウンロードしたいです。しかし、私がそうするなら

wget https://elixir.bootlin.com/linux/latest/source/arch/arm64/boot/dts/arm/fvp-base-revc.dts

.dtsファイルではなく、htmlに似たファイルです。
表示されたソースコードをどのようにダウンロードできますか?

答え1

私が知る限り、万病薬Web インターフェイスを介して提供する元のファイルをダウンロードする方法は提供されません。代わりに、gitリポジトリから興味のあるファイルをダウンロードする必要があります。例えば

wget https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/plain/arch/arm64/boot/dts/arm/fvp-base-revc.dts

つまり(どちらもLinus Torvaldsのツリーの終わりを追跡します)https://elixir.bootlin.com/linux/latest/source/で置き換えます。https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/plain/

関連情報