From 910ef4d66f2c76c7aa9f54c572754e18424c0356 Mon Sep 17 00:00:00 2001 From: Gal Schlezinger Date: Wed, 30 Jan 2019 14:30:51 +0200 Subject: [PATCH] Fixes #7: Use xz files instead of gz (#17) --- executable/Install.re | 5 ++++- library/Versions.re | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/executable/Install.re b/executable/Install.re index 1ab2f0c..3c935e8 100644 --- a/executable/Install.re +++ b/executable/Install.re @@ -44,7 +44,10 @@ let main = (~version as versionName) => { let%lwt filepath = Versions.getFileToDownload(~version=versionName, ~os, ~arch); let tarDestination = - Filename.concat(Directories.downloads, versionName ++ ".tar.gz"); + Filename.concat( + Directories.downloads, + versionName ++ Versions.Remote.downloadFileSuffix, + ); Console.log( diff --git a/library/Versions.re b/library/Versions.re index 8591cc6..100ad54 100644 --- a/library/Versions.re +++ b/library/Versions.re @@ -43,7 +43,7 @@ module Remote = { |> List.map(Soup.attribute("href")) |> Core.List.filter_map(~f=x => x); - let downloadFileSuffix = ".tar.gz"; + let downloadFileSuffix = ".tar.xz"; let getVersionFromFilename = filename => { let strings = filename |> String.split_on_char('-');