Skip to content
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

Give Diff a color #2236

Merged
merged 1 commit into from
Mar 18, 2015
Merged

Give Diff a color #2236

merged 1 commit into from
Mar 18, 2015

Conversation

phase
Copy link
Contributor

@phase phase commented Mar 17, 2015

Diff (Or Patch) is something that is used quite a lot on GitHub for various things, and it is usually paired with Shell. A lot of repositories, such as the @OvercastNetwork's SportBukkit, only use these two things, one of which isn't represented in the language summary. If I somehow magically did this right, it should show the magnificent language in all it's glory.

I'd love to see this great and useful language be put next to Shell. Repositories that only use Shell should only have Shell, and repositories that use Diff & Shell should have both.

@larsbrinkhoff
Copy link
Contributor

I'm surprised that Diff is considered programming. I'm also surprised that it doesn't show up in the language statistics bar in https://github.com/OvercastNetwork/SportBukkit.

@larsbrinkhoff
Copy link
Contributor

Ah, SportBukkit hasn't been updated since Diff aquired the programming type.

I'd argue that Diff should rather be data.

@phase
Copy link
Contributor Author

phase commented Mar 17, 2015

@larsbrinkhoff Now it shows a color, but it's that generic white that doesn't look good with the green Shell. I kind of like it being a "programming" language, as there is some syntax.

arfon added a commit that referenced this pull request Mar 18, 2015
@arfon arfon merged commit 5850716 into github-linguist:master Mar 18, 2015
@arfon arfon mentioned this pull request Mar 18, 2015
@github-linguist github-linguist locked as resolved and limited conversation to collaborators Jun 17, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants