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

Correction in the powerline-icon theme #514

Closed
wants to merge 10 commits into from
Closed

Correction in the powerline-icon theme #514

wants to merge 10 commits into from

Conversation

TheWatcherMultiversal
Copy link
Contributor

Found an error in the powerline-icon theme; apparently, it was not displaying the icon when a command was executed successfully and returned a status of 0.

Copy link
Contributor

@akinomyoga akinomyoga left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can you first squash all those commits? Actually, this should have been done before submitting the PR. After that I'll leave a comment.

Also, please read the relevant section in CONTRIBUTING.

  • In particular, please do not make a PR with the same branch as the main one in the upstream, i.e., master. This causes conflicts when the maintainer needs to take a look at the PR branch in local hosts. It requires the maintainers to do extra work locally. When you create a PR next time, please try to give a (hopefully) unique name to a branch so that it wouldn't conflict with other branches (including the ones of the PRs the other people submit).
  • Also, I forgot to check in the previous PR, but please update themes/THEMES.md
  • Finally, please also update the wiki page.

@TheWatcherMultiversal
Copy link
Contributor Author

thank you for the clarification. I'll resolve the issue in a moment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants