RemoteDownload Module
Functions and values
| Function or value |
Description
|
Full Usage:
DirectoryCopy (sourceDirName, destDirName, copySubDirs)
Parameters:
string
destDirName : string
copySubDirs : bool
|
|
Full Usage:
DownloadSourceFiles (rootPath, groupName, force, sourceFiles)
Parameters:
string
groupName : GroupName
force : bool
sourceFiles : ResolvedSourceFile list
|
|
Full Usage:
downloadDependenciesFile (force, rootPath, groupName, parserF, remoteFile)
Parameters:
bool
rootPath : string
groupName : GroupName
parserF : string -> 'a
remoteFile : ResolvedSourceFile
Returns: Async<'a>
Type parameters: 'a |
Gets a dependencies file from the remote source and tries to parse it.
|
Full Usage:
downloadRemoteFiles (remoteFile, destination)
Parameters:
ResolvedSourceFile
destination : string
Returns: Async<unit>
|
|
Full Usage:
getSHA1OfBranch origin owner project versionRestriction authKey
Parameters:
Origin
owner : string
project : string
versionRestriction : VersionRestriction
authKey : string option
Returns: Async<string>
|
|
Paket