From 0b88d0aefb1901312406a13a978dec8ad9ee2c19 Mon Sep 17 00:00:00 2001 From: Minijackson Date: Wed, 9 Mar 2022 10:41:12 +0100 Subject: overlay: fix (hopefully) all colors of inkpot pygments theme --- overlay.nix | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/overlay.nix b/overlay.nix index dc129f4..85be7b7 100644 --- a/overlay.nix +++ b/overlay.nix @@ -8,7 +8,15 @@ final: prev: pygments = prev.python3Packages.pygments.overrideAttrs (oldAttrs: { postPatch = '' cp ${inputs.draculaTheme}/dracula.py pygments/styles/ - sed -i 's/bg:.\+ //' pygments/styles/inkpot.py + sed -i \ + -e 's/bg:.\+ //' \ + -e 's/000080/808bed/' \ + -e 's/800080/ff8bff/' \ + -e 's/A00000/ce4e4e/' \ + -e 's/ff0000/ce4e4e/' \ + -e 's/ffff00/ffcd00/' \ + -e 's/008400/8fff8b/' \ + pygments/styles/inkpot.py ''; }); -- cgit v1.2.3