Browse Source

Fixes #7: Use xz files instead of gz (#17)

remotes/origin/add-simple-redirecting-site
Gal Schlezinger 6 years ago committed by GitHub
parent
commit
910ef4d66f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 5
      executable/Install.re
  2. 2
      library/Versions.re

5
executable/Install.re

@ -44,7 +44,10 @@ let main = (~version as versionName) => {
let%lwt filepath = let%lwt filepath =
Versions.getFileToDownload(~version=versionName, ~os, ~arch); Versions.getFileToDownload(~version=versionName, ~os, ~arch);
let tarDestination = let tarDestination =
Filename.concat(Directories.downloads, versionName ++ ".tar.gz"); Filename.concat(
Directories.downloads,
versionName ++ Versions.Remote.downloadFileSuffix,
);
Console.log( Console.log(
<Pastel> <Pastel>

2
library/Versions.re

@ -43,7 +43,7 @@ module Remote = {
|> List.map(Soup.attribute("href")) |> List.map(Soup.attribute("href"))
|> Core.List.filter_map(~f=x => x); |> Core.List.filter_map(~f=x => x);
let downloadFileSuffix = ".tar.gz"; let downloadFileSuffix = ".tar.xz";
let getVersionFromFilename = filename => { let getVersionFromFilename = filename => {
let strings = filename |> String.split_on_char('-'); let strings = filename |> String.split_on_char('-');

Loading…
Cancel
Save