Meta Stack Exchange is where users like you discuss bugs, features, and support issues that affect the software powering all 158 Stack Exchange communities.

What is meta?
Here's how it works:
  1. Any Stack Exchange user can ask a question
  2. The community provides support, votes on ideas, and reports bugs
  3. Your voice helps shape the way Stack Exchange operates

This question already has an answer here:

for example:

Is there a bash command that can tell the size of a shell variable

has a few responses which involve the bash ${#x} construct. It incorrectly treats the hash like a comment.


1) What engine is used for syntax highlighting?

2) If SE an external engine, is there a way that we lowly users can make upstream changes that could be pushed?

share|improve this question

marked as duplicate by ben is uǝq backwards, Rory, Martijn Pieters, Lucifer, animuson Jun 15 '13 at 18:48

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

See Changes to syntax highlighting about which engine is used (Google Prettify). – Paŭlo Ebermann Sep 4 '11 at 22:09
Also note that the tags shell and bash seem to have conflicting syntax rules, which reverts back to default = "let prettify guess what language it is". I removed the shell tag from your question, but this did not change anything. Looks like a Prettify bug. – Paŭlo Ebermann Sep 4 '11 at 22:18
@Paulo if we push changes to prettify, will SO pick them up? – Foo Bah Sep 4 '11 at 22:20
I would suppose that this is the case. At least, this is much more probable than SE making a local change to fix this. But to be sure, we would need an SE employee to confirm. – Paŭlo Ebermann Sep 4 '11 at 22:35
This code is affected as well, as it uses $#. Did someone take this upstream already? If so, do you have any pointers where we can monitor progress? – MvG Sep 27 '12 at 13:01
Looking at the referenced post, it seems the issue is resolved now. Do you want to adjust the tags accordingly? – MvG May 2 '13 at 12:47

Google Prettify has an issue which indicates that this is now fixed by a commit from 2012-07-06.
Can we please get this fix installed on SO to check whether it works as advertised?

share|improve this answer

Not the answer you're looking for? Browse other questions tagged .