-
Notifications
You must be signed in to change notification settings - Fork 1.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Allow custom label without a language mapping. #837
Conversation
@nauzilus - Adding you to this thread in case you have comments about the idea or implementation. |
Thanks for the contribution! Totally agree with the idea. |
Agree, good idea :) The As an side, the |
I went with
Would it impact any existing users to reuse the
I'll make this change once we settle on a final name for the attribute. |
To give credit where it's due, it was @zeitgeist87 who recommended adding support for a language alias in our thread about PR 831. I implemented his idea because I agreed it was a good solution to the problem. |
Not that I can see. That attribute is only used internally by the plugin, and is currently assigned to without reading from it at all, so if a user has been specifying any value, it's has clobbered anyway. |
In that case, removing it needs to be part of this PR (or another PR accepted prior to this one), right? Should I make those changes? If so, do you want it in a separate PR or this one? |
I've created PR #840 to remove the Perhaps also update the |
89f9b11
to
ca635e9
Compare
I've merged in your changes from PR #840, changed my PR to use What is the "proper" way to mark this PR as depending upon yours? |
Argh, after merging @nauzilus’ PR, this one now has merge conflicts. Could you please resolve?
? |
ca635e9
to
9f0ff2d
Compare
I believe the conflicts are resolved now. I also rebased the commits. I didn't really dig, but it seems a |
Unfortunately the conflicts are not resolved. There seems to be something wrong with your rebase. The simplest and crudest way to fix that in your case would be: git fetch upstream
git reset --hard upstream/gh-pages
git cherry-pick 9f0ff2dc4b41460a6ba7e0debe103e8c3bdf0cb5 The commands above will reset everything to the upstream gh-pages branch, deleting all your changes in the process. Then the |
9f0ff2d
to
7e74aef
Compare
I didn't realize the error message on this page would update automatically. It's definitely resolved now. Thanks, @zeitgeist87. |
Allow custom label without a language mapping.
Thanks! |
This is an extremely low-touch update that allows the user to specify a custom language label without creating a language mapping through the addition of a
data-language-label
attribute. Intended to provide the following:bash
while labeling the code assh
.PHP 5.6
orMySQL Script
.