cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
* [Cocci] SmPL highlighting on GitHub and GitLab
@ 2019-08-27 14:30 Paul Chaignon
  2019-08-27 14:44 ` Julia Lawall
  0 siblings, 1 reply; 3+ messages in thread
From: Paul Chaignon @ 2019-08-27 14:30 UTC (permalink / raw)
  To: cocci

Hello dear Coccinelle community,

Since a few hours ago, SmPL code is detected and highlighted on GitHub.
Examples [1, 2] are visible in the Linux repository.  Other repositories
should receive highlighting when they'll be updated (after a git push).
Highlighting on GitLab should follow if/when they update their Linguist
dependency.

This change follows an update to the Linguist library [3], used to detect
languages on GitHub and GitLab.  At the moment, all .cocci files are
detected as SmPL.  The grammar for highlighting [4] was written by John
Gardner and should also work for the Atom editor.  If you want to change
the color, aliases, or extensions associated with SmPL, we'd welcome pull
requests to Linguist and I'm confident John would too for the grammar!

Regards,
Paul Chaignon

1 - https://github.com/torvalds/linux/blob/master/scripts/coccinelle/api/d_find_alias.cocci
2 - https://github.com/torvalds/linux/blob/master/scripts/coccinelle/misc/boolreturn.cocci
3 - https://github.com/github/linguist
4 - https://github.com/Alhadis/language-etc/blob/master/grammars/smpl.cson
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2019-08-28  7:41 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-08-27 14:30 [Cocci] SmPL highlighting on GitHub and GitLab Paul Chaignon
2019-08-27 14:44 ` Julia Lawall
2019-08-28  7:40   ` Paul Chaignon

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).