diff options
-rw-r--r-- | overlay.nix | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/overlay.nix b/overlay.nix index dc129f4..85be7b7 100644 --- a/overlay.nix +++ b/overlay.nix | |||
@@ -8,7 +8,15 @@ final: prev: | |||
8 | pygments = prev.python3Packages.pygments.overrideAttrs (oldAttrs: { | 8 | pygments = prev.python3Packages.pygments.overrideAttrs (oldAttrs: { |
9 | postPatch = '' | 9 | postPatch = '' |
10 | cp ${inputs.draculaTheme}/dracula.py pygments/styles/ | 10 | cp ${inputs.draculaTheme}/dracula.py pygments/styles/ |
11 | sed -i 's/bg:.\+ //' pygments/styles/inkpot.py | 11 | sed -i \ |
12 | -e 's/bg:.\+ //' \ | ||
13 | -e 's/000080/808bed/' \ | ||
14 | -e 's/800080/ff8bff/' \ | ||
15 | -e 's/A00000/ce4e4e/' \ | ||
16 | -e 's/ff0000/ce4e4e/' \ | ||
17 | -e 's/ffff00/ffcd00/' \ | ||
18 | -e 's/008400/8fff8b/' \ | ||
19 | pygments/styles/inkpot.py | ||
12 | ''; | 20 | ''; |
13 | }); | 21 | }); |
14 | 22 | ||