Skip to content

Rename pure.zsh ---> pure.plugin.zsh#73

Closed
Tarrasch wants to merge 1 commit intosindresorhus:masterfrom
Tarrasch:merge-plugin
Closed

Rename pure.zsh ---> pure.plugin.zsh#73
Tarrasch wants to merge 1 commit intosindresorhus:masterfrom
Tarrasch:merge-plugin

Conversation

@Tarrasch
Copy link
Contributor

This will then follow the conventions for


Feel free to say no to this, but I think we really should strive to standardize all the zsh plugins around github. There were some discussion in zsh-users/antigen#23. The reason I want to change it here is that I just got an email from a user who couldn't get the pure plugin to work with antigen-hs.

Cheers

This will then follow the conventions for

  * antigen: https://github.com/zsh-users/antigen
  * antigen-hs: https://github.com/Tarrasch/antigen-hs (enforced)
@Tarrasch
Copy link
Contributor Author

Hmm, if you find this name change to extreme (given the large user-base of this plugin), we might consider just doing something like I did for Tarrasch/zsh-bd@17139b7

@Tarrasch Tarrasch mentioned this pull request Jun 15, 2014
@sindresorhus
Copy link
Owner

I'd prefer a symlink.

@Tarrasch
Copy link
Contributor Author

Sure, that's all valid, please check out #75 then.

@Tarrasch Tarrasch closed this Jun 22, 2014
@Tarrasch Tarrasch deleted the merge-plugin branch June 22, 2014 20:49
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