diff --git a/debian/patches/debian/0001-branding.patch b/debian/patches/debian/0001-branding.patch new file mode 100644 index 0000000..53ee101 --- /dev/null +++ b/debian/patches/debian/0001-branding.patch @@ -0,0 +1,18 @@ +Author: Daniel Baumann +Description: Remove dunk version line to reduce visual clutter. + +diff -Naurp dunk.orig/dunk/dunk.py dunk/dunk/dunk.py +--- dunk.orig/dunk/dunk.py ++++ dunk/dunk/dunk.py +@@ -406,11 +406,6 @@ def _run_dunk(): + # TODO: File name indicator at bottom of file, if diff is larger than terminal height. + console.rule(style="border", characters="▔") + +- console.print( +- Align.right( +- f"[blue]/[/][red]/[/][green]/[/] [dim]dunk {dunk.__version__}[/] " +- ) +- ) + # console.save_svg("dunk.svg", title="Diff output generated using Dunk") + + diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..31d8c0c --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +debian/0001-branding.patch