From c682532fceff80170e427a4383ae6e474165dd2b Mon Sep 17 00:00:00 2001 From: Ryan Mulligan Date: Sun, 6 Jun 2021 13:19:33 -0700 Subject: doc/functions/prefer-remote-fetch: convert to CommonMark --- doc/functions/prefer-remote-fetch.xml | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 doc/functions/prefer-remote-fetch.xml (limited to 'doc/functions/prefer-remote-fetch.xml') diff --git a/doc/functions/prefer-remote-fetch.xml b/doc/functions/prefer-remote-fetch.xml deleted file mode 100644 index 94d25d3d3ae..00000000000 --- a/doc/functions/prefer-remote-fetch.xml +++ /dev/null @@ -1,21 +0,0 @@ -
- prefer-remote-fetch overlay - - - prefer-remote-fetch is an overlay that download sources on remote builder. This is useful when the evaluating machine has a slow upload while the builder can fetch faster directly from the source. To use it, put the following snippet as a new overlay: - -self: super: - (super.prefer-remote-fetch self super) - - A full configuration example for that sets the overlay up for your own account, could look like this - -$ mkdir ~/.config/nixpkgs/overlays/ -$ cat > ~/.config/nixpkgs/overlays/prefer-remote-fetch.nix <<EOF - self: super: super.prefer-remote-fetch self super -EOF - - -
-- cgit 1.4.1