downloader (empty) → 0.1.0.0
raw patch · 7 files changed
+299/−0 lines, 7 filesdep +basedep +directorydep +filepathsetup-changed
Dependencies added: base, directory, filepath, network-uri, process
Files
- LICENSE +30/−0
- README.org +4/−0
- Setup.hs +3/−0
- downloader.cabal +45/−0
- scripts/download.ps1 +26/−0
- scripts/download.sh +2/−0
- src/Network/HTTP/Download/File.hs +189/−0
+ LICENSE view
@@ -0,0 +1,30 @@+Copyright Aditya Siram (c) 2019++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++ * Redistributions of source code must retain the above copyright+ notice, this list of conditions and the following disclaimer.++ * Redistributions in binary form must reproduce the above+ copyright notice, this list of conditions and the following+ disclaimer in the documentation and/or other materials provided+ with the distribution.++ * Neither the name of Aditya Siram nor the names of other+ contributors may be used to endorse or promote products derived+ from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ README.org view
@@ -0,0 +1,4 @@+* downloader+ A small, low-dependency library that provides turn-key file download over HTTP and HTTPS. ++ See the [[http://hackage.haskell.org/package/downloader/docs/Network-HTTP-Download-File.html][Haddock documentation]] for more detail and [[https://github.com/deech/cabal-downloader-demo][cabal-downloader-demo]] for a small demo which shows how to use it at build time to download assets.
+ Setup.hs view
@@ -0,0 +1,3 @@+import Distribution.Simple++main = defaultMain
+ downloader.cabal view
@@ -0,0 +1,45 @@+cabal-version: 1.12++-- This file has been generated from package.yaml by hpack version 0.31.2.+--+-- see: https://github.com/sol/hpack+--+-- hash: b63fe7b709485a2f6dfd1ad80e812c4b967f792fe8848d3a1e17f7658c331acf++name: downloader+version: 0.1.0.0+synopsis: A small, low-dependency library that provides turn-key file download over HTTP and HTTPS.+description: Please see the Hackage documentation at <http://hackage.haskell.org/package/downloader/docs/Network-HTTP-Download-File.html>+category: network, file+homepage: https://github.com/deech/downloader#readme+bug-reports: https://github.com/deech/downloader/issues+author: Aditya Siram+maintainer: aditya.siram@gmail.com+copyright: Aditya Siram, 2019+license: BSD3+license-file: LICENSE+build-type: Simple+extra-source-files:+ README.org+data-files:+ scripts/download.sh+ scripts/download.ps1++source-repository head+ type: git+ location: https://github.com/deech/downloader++library+ exposed-modules:+ Network.HTTP.Download.File+ other-modules:+ Paths_downloader+ hs-source-dirs:+ src+ build-depends:+ base >=4.7 && <5+ , directory >=1.3.2.0 && <1.3.5+ , filepath >=1.4.2 && <1.4.3+ , network-uri >=2.6.1.0 && <2.7+ , process >=1.4.0.0 && <1.7+ default-language: Haskell2010
+ scripts/download.ps1 view
@@ -0,0 +1,26 @@+param (+ [string]$url,+ [string]$queryParams = "",+ [string]$outputPath,+ [string]$userAgent+)++Add-Type -AssemblyName System.Web++Try {+ $wc = New-Object System.Net.WebClient;+ $wc.Headers.Add("User-Agent", $userAgent);+ If ($queryParams -ne "") {+ $encodedParams = [System.Web.HttpUtility]::UrlEncode($queryParams);+ $url = $url + '?' + $encodedParams+ }+ $wc.DownloadFile($url, $outputPath);+ Write-Host "200";+}+Catch {+ $ex = $_.Exception;+ While ($ex -ne $null) {+ Write-Host $ex.Message;+ $ex = $ex.InnerException;+ }+}
+ scripts/download.sh view
@@ -0,0 +1,2 @@+#!/bin/sh+curl -G "$1" --data-urlencode "$2" --output "$3" --location --user-agent "$4" --write-out %{http_code} --silent --show-error
+ src/Network/HTTP/Download/File.hs view
@@ -0,0 +1,189 @@+module Network.HTTP.Download.File+ ( -- * Introduction+ --+ -- $Introduction+ downloadFile+ , Overwrite(..)+ )++where+import System.Process+import System.Exit+import Network.URI(parseURI, URI(..))+import Control.Exception+import System.Info(os,arch)+import System.Directory+import System.FilePath+import Paths_downloader(getDataDir, version)+import Data.Version(showVersion)+import GHC.Stack++-- | A 'Bool' wrapper that is passed to 'downloadFile' and+-- which if set to @(Overwrite True)@ will allow 'downloadFile' to+-- overwrite an existing file.+newtype Overwrite = Overwrite { _overwrite :: Bool }++{-|+ Downloads a file from the given URL via a GET request to the specified+ location on the filesystem and returns the _absolute_ and canonicalized path+ to that location.++ On Windows the download itself delegates to a+ <https://en.wikipedia.org/wiki/PowerShell PowerShell> script and wraps+ <https://curl.haxx.se/ curl> on all other platforms. The user agent for the+ request is "downloader\/\<downloader-version\>(\<os\>;\<arch\>)", eg. when version+ 0.1.0.0 of this package is run on 64 bit Linux the user agent is+ "downloader\/0.1.0.0(linux;x86_64)"++ Only HTTP and HTTPS transport protocols are supported. If a URL does not+ specify a protocol it is prefixed with "https:", eg. given URL string+ "www.google.com" this function will make a request to "https://www.google.com".++ The output directory may be relative but must exist.++ The output filename must be just a valid, unqualified filename, eg. "file.txt" is+ fine but "..\/..\/a\/b\/c\/file.txt" is rejected.++ This function will throw an IO exception in the following cases:++ - A badly formed URL+ - A URL that specifies a protocol that is not http or https, eg. "ftp" will be rejected+ - A non existent directory or one that isn't writeable+ - An <https://hackage.haskell.org/package/filepath/docs/System-FilePath-Posix.html#v:isValid invalid> output filename+ - A filename that includes parent directories eg, "a\/b\/c\/file.txt"+ - An HTTP status that is not 200 is returned by the request+ - Any other error returned by 'curl' or PowerShell.+-}++downloadFile :: HasCallStack+ => String -- ^ URL from which to download a file (or web page)+ -> FilePath -- ^ Directory in which to save the file (it must exist)+ -> FilePath -- ^ File name into which to save the downloaded data+ -> Overwrite -- ^ Optionally overwrite the file if it already exists+ -> IO FilePath+downloadFile urlString directory outputFilename overwrite = do+ u <- getUrl+ o <- getOutputPath+ -- drop the '?' from the query params.+ -- Both the curl command and Powershell script+ -- add it back in before making the web request.+ let (urlOnly, queryParams) = (u { uriQuery = ""}, drop 1 (uriQuery u))+ if (os == "mingw32")+ then do+ res <- lines <$> runPowershellDownload urlOnly queryParams o+ case res of+ (['2','0','0']:_) -> pure o+ _ -> throwIO (userError (unlines res))+ else do+ res <- runCurlDownload urlOnly queryParams o+ case res of+ Left err -> throwIO (userError err)+ Right Nothing -> throwIO (userError $ "No output from download process, expected an HTTP return code")+ Right (Just httpCode) ->+ if (httpCode == 200)+ then pure o+ else throwIO (userError $ "HTTP Error code: " ++ show httpCode)+ where+ userAgent :: String+ userAgent = "downloader/" ++ showVersion version ++ "(" ++ os ++ ";" ++ arch ++ ")"+ inDataDir :: FilePath -> IO FilePath+ inDataDir f = (\dd -> dd </> "scripts" </> f) <$> getDataDir+ shScript :: IO String+ shScript = inDataDir "download.sh"+ powershellScript :: IO String+ powershellScript = inDataDir "download.ps1"+ getUrl :: IO URI+ getUrl =+ -- break out query params because spaces don't parse.+ -- They are url encoded in the Powershell and curl calls.+ let (urlOnly, queryParams) = break ((==) '?') urlString+ in+ case parseURI urlOnly of+ Nothing ->+ case (parseURI $ "https://" ++ urlOnly) of+ Nothing -> throwIO (userError $ "Failed to parse URL: " ++ urlString)+ Just url -> pure $ url { uriQuery = queryParams }+ Just url ->+ if (not (uriScheme url `elem` ["http:", "https:"]))+ then throwIO (userError $ "Only http or https are allowed in URL but given: " ++ uriScheme url)+ else pure $ url { uriQuery = queryParams }+ getOutputPath :: IO FilePath+ getOutputPath = do+ f <- if (null outputFilename)+ then throwIO (userError $ "Output filename is empty.")+ else if (not (isValid outputFilename))+ then throwIO (userError $ "Output filename is not valid: " ++ outputFilename ++ "\n. The 'filepath' package has a 'makeValid' function which may be useful.")+ else pure outputFilename+ if (takeDirectory f /= ".")+ then throwIO (userError $ "Output filename must be just a file name without any directories, instead got: " ++ outputFilename)+ else do+ d <- do+ absoluteDirectory <- canonicalizePath directory+ exists <- doesDirectoryExist absoluteDirectory+ if (not exists)+ then throwIO (userError $ "Output directory does not exist: " ++ directory)+ else do+ perms <- getPermissions absoluteDirectory+ if (not (writable perms))+ then throwIO (userError $ "Output directory does not have write permissions: " ++ directory)+ else pure absoluteDirectory+ let outputPath = d </> f+ opExists <- doesFileExist outputPath+ if (opExists && not (_overwrite overwrite))+ then throwIO (userError $ "The output file already exists: " ++ outputPath)+ else pure outputPath+ runCurlDownload :: URI -> String -> FilePath -> IO (Either String (Maybe Int))+ runCurlDownload url queryParams outputPath = do+ downloadSh <- shScript+ (exitCode,stdout,stderr) <- readProcessWithExitCode "sh" [downloadSh, show url, show queryParams, outputPath, show userAgent] ""+ case exitCode of+ ExitSuccess -> do+ pure $ Right $+ if (not (null stdout))+ then Just (read stdout)+ else Nothing+ ExitFailure errCode -> do+ pure $ Left $ show errCode +++ (if (not (null stderr))+ then ":" ++ stderr+ else "")+ runPowershellDownload :: URI -> String -> FilePath -> IO String+ runPowershellDownload url queryParams outputPath = do+ downloadWin <- powershellScript+ let args =+ [ "-ExecutionPolicy", "bypass"+ , "-NonInteractive"+ , "-NoProfile"+ , "-File", downloadWin+ , "-url" , show url+ , "-outputPath" , outputPath+ , "-userAgent", userAgent+ ] +++ (if (not (null queryParams))+ then [ "-queryParams" , queryParams ]+ else [])+ (_,stdout,_) <- readProcessWithExitCode "powershell.exe" args ""+ pure stdout++-- $Introduction+-- This micro library consists of a single cross platform function+-- 'downloadFile' which downloads a file off the Web and to your filesystem. It+-- is very light on dependencies and configurability and ultimately just a+-- wrapper around a <https://en.wikipedia.org/wiki/PowerShell PowerShell> script+-- on Windows and <https://curl.haxx.se/ curl> on Linux and macOS. Both+-- Powershell and 'curl' should be available out-of-the-box.+--+-- To set expectations 'downloadFile' is lo-fi and deliberately under-engineered.+-- The download request blocks until it is done, all errors are thrown as+-- unrecoverable IO exceptions and any errors that occur at the 'curl' or+-- 'PowerShell' level are bubbled up to the user as is. If you don't care about+-- low dependencies and a small API or need recoverable errors and socket pooling,+-- <http://hackage.haskell.org/package/http-client http-client> is a+-- much nicer package with many more options.+--+-- I wrote this because I needed an easy, low-dependency way to download files off+-- the Internet across platforms at /build/ /time/. I have a+-- <https://github.com/deech/cabal-downloader-demo demo project> which shows how+-- to use it in your @Setup.hs@ Cabal build script.+--+-- It could also work pretty well for throwaway scripts.