diff options
| author | makefu <github@syntax-fehler.de> | 2023-06-03 15:43:42 +0200 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2023-06-03 15:43:42 +0200 |
| commit | 3ec2fd6df7e1cd81617f9426009b4c5c1f592b46 (patch) | |
| tree | 3cebce59979e1656d0d791c71a392bda0a2eedd3 /makefu | |
| parent | 612fbf37adffc5c2ddb0fd3990f6ff696f670ec9 (diff) | |
ma overlays: init prefer-remote-fetch
Diffstat (limited to 'makefu')
| -rw-r--r-- | makefu/2configs/overlays/prefer-remote-fetch.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/makefu/2configs/overlays/prefer-remote-fetch.nix b/makefu/2configs/overlays/prefer-remote-fetch.nix new file mode 100644 index 000000000..d332e6723 --- /dev/null +++ b/makefu/2configs/overlays/prefer-remote-fetch.nix @@ -0,0 +1,4 @@ +self: super: + if super ? prefer-remote-fetch then + (super.prefer-remote-fetch self super) +else super |