wie erhält man eine Rohdatei von einer Webseite, die die Quelldatei anzeigt?

wie erhält man eine Rohdatei von einer Webseite, die die Quelldatei anzeigt?

Zum Beispiel auf dieser Seite:
https://elixir.bootlin.com/linux/latest/source/arch/arm64/boot/dts/arm/fvp-base-revc.dts
Ich möchte die .dts-Datei herunterladen. Aber wenn ich nur

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

es ist keine .dts-Datei, sondern eine html-ähnliche Datei.
Wie kann ich die angezeigte Quelle herunterladen?

Antwort1

Soweit ich weiß,Elixierbietet keine Möglichkeit, die Rohdatei, die es präsentiert, über seine Weboberfläche herunterzuladen. Stattdessen sollten Sie die gewünschte Datei aus einem Git-Repository herunterladen.z.B

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

Dhersetzen https://elixir.bootlin.com/linux/latest/source/durch https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/plain/(beide verfolgen die Spitze von Linus Torvalds‘ Baum).

verwandte Informationen