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 | a6a5c0056176ea763c75ce36e2b57fb77efa0780 (patch) | |
tree | d1c950a468f3f5b86043d2c96c516e17ca29b067 /2configs | |
parent | ad3dfdc272b955f4f8c8e2710551bf3f9bfebc0a (diff) |
ma overlays: init prefer-remote-fetch
Diffstat (limited to '2configs')
-rw-r--r-- | 2configs/overlays/prefer-remote-fetch.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/2configs/overlays/prefer-remote-fetch.nix b/2configs/overlays/prefer-remote-fetch.nix new file mode 100644 index 000000000..d332e6723 --- /dev/null +++ b/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 |