diff options
| author | lassulus <git@lassul.us> | 2023-06-19 03:25:39 +0200 |
|---|---|---|
| committer | lassulus <git@lassul.us> | 2023-06-19 03:25:39 +0200 |
| commit | 139799c53cdaf55c362109e01be9dd96cc8700ed (patch) | |
| tree | b1ce719ec8f62458bce2d9fe2191b8d004630f2a /makefu/2configs/overlays/prefer-remote-fetch.nix | |
| parent | cb8fbb09127392a17d698d91f78ede7ae46accb8 (diff) | |
| parent | a766e88e7c8d87aa6bdbde796d3a454f7b5e546e (diff) | |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/2configs/overlays/prefer-remote-fetch.nix')
| -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 |