After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 781926 - Jade was renamed to pug, so globs need to be renamed
Jade was renamed to pug, so globs need to be renamed
Status: RESOLVED FIXED
Product: gtksourceview
Classification: Platform
Component: Syntax files
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GTK Sourceview maintainers
GTK Sourceview maintainers
Depends on:
Blocks:
 
 
Reported: 2017-04-29 00:54 UTC by Giovanni Campagna
Modified: 2017-05-02 14:28 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Giovanni Campagna 2017-04-29 00:54:12 UTC 
The Jade markup language was renamed to Pug due to a trademark issue, and the developers recommend to rename all jade files to .pug because expressjs (the web framework jade/pug are most commonly used with) uses the file extension to determine the template language.

It would thus be nice to add *.pug as a valid glob for the jade language.
Comment 1 Sébastien Wilmet 2017-04-29 08:55:55 UTC 
Done with commit 535896086af703cc66d4b22dd7fd2bac310cbd7b, and cherry-picked on gnome-3-24.

The filename should probably be renamed to pug.lang, and replace all occurrences of Jade by Pug. But only on the master branch.