trixi-framework/Trixi.jl

Shorten package extension names as per the Pkg docs

Open

#2,543 opened on 2025年9月1日

GitHub で見る
 (1 comment) (0 reactions) (0 assignees)Julia (686 stars) (153 forks)batch import
good first issuerefactoring

説明

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.

コントリビューターガイド