trixi-framework/Trixi.jl

Shorten package extension names as per the Pkg docs

Open

#2,543 opened on Sep 1, 2025

View on GitHub
 (1 comment) (0 reactions) (0 assignees)Julia (686 stars) (153 forks)batch import
good first issuerefactoring

Description

Since (I believe) v1.10, it is not necessary to include the parent package name in the extension package name. From the Pkg docs:

Extensions can have arbitrary names (here ContourExt), following the format of this example is likely a good idea for extensions with a single dependency. In Pkg output, extension names are always shown together with their parent package name.

Contributor guide