2015-04-09 12:12:50 +02:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include "types.hh"
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 14:28:26 +01:00
|
|
|
|
2015-04-09 12:12:50 +02:00
|
|
|
#include <string>
|
|
|
|
|
|
|
|
namespace nix {
|
|
|
|
|
2015-10-21 14:59:01 +02:00
|
|
|
struct DownloadOptions
|
|
|
|
{
|
|
|
|
string expectedETag;
|
|
|
|
bool verifyTLS{true};
|
2015-10-21 15:03:29 +02:00
|
|
|
bool forceProgress{false};
|
2015-10-21 14:59:01 +02:00
|
|
|
};
|
|
|
|
|
2015-04-09 12:12:50 +02:00
|
|
|
struct DownloadResult
|
|
|
|
{
|
|
|
|
bool cached;
|
|
|
|
string data, etag;
|
|
|
|
};
|
|
|
|
|
2016-02-04 14:48:42 +01:00
|
|
|
class Store;
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 14:28:26 +01:00
|
|
|
|
2015-10-21 14:59:01 +02:00
|
|
|
DownloadResult downloadFile(string url, const DownloadOptions & options);
|
2015-04-09 12:12:50 +02:00
|
|
|
|
2016-02-04 14:48:42 +01:00
|
|
|
Path downloadFileCached(ref<Store> store, const string & url, bool unpack);
|
2015-05-05 17:09:42 +02:00
|
|
|
|
2015-04-09 12:49:13 +02:00
|
|
|
MakeError(DownloadError, Error)
|
|
|
|
|
2015-05-06 14:54:31 +02:00
|
|
|
bool isUri(const string & s);
|
|
|
|
|
2015-04-09 12:12:50 +02:00
|
|
|
}
|