diff options
| author | Minijackson <minijackson@riseup.net> | 2022-03-09 10:41:12 +0100 |
|---|---|---|
| committer | Minijackson <minijackson@riseup.net> | 2022-03-09 10:41:12 +0100 |
| commit | 0b88d0aefb1901312406a13a978dec8ad9ee2c19 (patch) | |
| tree | 9237b4430f2279ecc2794519a6614e842f65a5be | |
| parent | a777982b17ca555cb2a33e5828f8dc9cca302430 (diff) | |
| download | pandoc-nix-templates-0b88d0aefb1901312406a13a978dec8ad9ee2c19.tar.gz pandoc-nix-templates-0b88d0aefb1901312406a13a978dec8ad9ee2c19.zip | |
overlay: fix (hopefully) all colors of inkpot pygments theme
| -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 | ||