customization of source-highlight is difficult or impossible

Bug #2028162 reported by Richard Earnshaw
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
source-highlight (Ubuntu)
New
Undecided
Unassigned

Bug Description

Description: Ubuntu 22.04.2 LTS
Release: 22.04

$ apt show source-highlight
Package: source-highlight
Version: 3.1.9-4.1build2

Source-highlight is known not to support dark-theme terminals well with the default settings (in particular the 'default' esc.style is particularly bad).

It seems there are only two ways of customizing source-highlight

1) Edit the contents of /usr/share/source-highlight
2) Make a copy of the entire /usr/share/source-highlight directory and customize that, then use source-highlight-config to change where the package picks up the configuration files.

The first approach means modifying the distribution files directly, which makes upgrading the package difficult.

The second approach means that after an upgrade all the copied files need to be updated and users might miss this.

The configuration system should really use a search path for its configuration files, and files like lang.map should be made to accumulate map information from multiple locations. This would make it far easier to customize colors for specific packages or environments and to add local custom color rules.

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.