diff options
-rw-r--r-- | pkgs/profpatsch/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/profpatsch/default.nix b/pkgs/profpatsch/default.nix index fc718617..8aad01e2 100644 --- a/pkgs/profpatsch/default.nix +++ b/pkgs/profpatsch/default.nix @@ -114,7 +114,7 @@ let // getBins pkgs.coreutils [ "cp" ]; gawkScript = '' # patch out emacs overlay (requires fetching the overlay with builtins.fetchTarball) - /depot.third_party.overlays.emacs/ {} + /depot.third_party.overlays.emacs/ { sub("^", "#") } 1 { print } ''; src = pkgs.fetchgit { |