Add micro editor plugin #294

Open
10sr opened this Issue Jan 11, 2017 · 7 comments

Projects

None yet

6 participants

@10sr
Member
10sr commented Jan 11, 2017

I created a new editorconfig plugin for micro editor 💪
https://github.com/10sr/editorconfig-micro

If it is ok adding this repository to editorconfig org would be nice!

@jedmao
Member
jedmao commented Jan 11, 2017

I think we would need our EditorConfig artist to create something for this new plugin. @treyhunner, who did the artwork again?

@10sr, is this the correct project? https://github.com/zyedidia/micro

@treyhunner
Member

@ineptcat does the logos. Looks like Micro's logo is a μ.

@xuhdev
Member
xuhdev commented Jan 11, 2017

@ineptcat Can you also license the logos you have made, please? Someone has asked on the mailing list for the permission to use them. Thank you!

@10sr
Member
10sr commented Jan 12, 2017

is this the correct project? https://github.com/zyedidia/micro

@jedmao Yes, I wrote this plugin for this editor.

@ffes
Member
ffes commented Jan 12, 2017

Isn't https://micro-editor.github.io/ a better link?

Off topic: Hadn't heard of micro until this issue was opened, but it looks like a promising new editor, especially for people new to the command line.

@10sr
Member
10sr commented Jan 13, 2017

Isn't https://micro-editor.github.io/ a better link?

I see!
I agree this is better for users.

@ineptcat

micro_s

@treyhunner thanks for pinging me - best way to reach me for a logo.
@xuhdev all free to use with attribution - link to squirrelmuffins.com (like on the website). more specifically CC-BY-SA (attribution, sharealike)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment