Logo Paket

RemoteDownload Module

Functions and values

Function or value Description

DirectoryCopy (sourceDirName, destDirName, copySubDirs)

Full Usage: DirectoryCopy (sourceDirName, destDirName, copySubDirs)

Parameters:
    sourceDirName : string
    destDirName : string
    copySubDirs : bool

sourceDirName : string
destDirName : string
copySubDirs : bool

DownloadSourceFiles (rootPath, groupName, force, sourceFiles)

Full Usage: DownloadSourceFiles (rootPath, groupName, force, sourceFiles)

Parameters:
rootPath : string
groupName : GroupName
force : bool
sourceFiles : ResolvedSourceFile list

downloadDependenciesFile (force, rootPath, groupName, parserF, remoteFile)

Full Usage: downloadDependenciesFile (force, rootPath, groupName, parserF, remoteFile)

Parameters:
Returns: Async<'a>
Type parameters: 'a

Gets a dependencies file from the remote source and tries to parse it.

force : bool
rootPath : string
groupName : GroupName
parserF : string -> 'a
remoteFile : ResolvedSourceFile
Returns: Async<'a>

downloadRemoteFiles (remoteFile, destination)

Full Usage: downloadRemoteFiles (remoteFile, destination)

Parameters:
Returns: Async<unit>

Retrieves RemoteFiles

remoteFile : ResolvedSourceFile
destination : string
Returns: Async<unit>

getSHA1OfBranch origin owner project versionRestriction authKey

Full Usage: getSHA1OfBranch origin owner project versionRestriction authKey

Parameters:
Returns: Async<string>
origin : Origin
owner : string
project : string
versionRestriction : VersionRestriction
authKey : string option
Returns: Async<string>

Type something to start searching.