micro-editor / plugin-channel Goto Github PK
View Code? Open in Web Editor NEWOfficial plugin channel for micro
Official plugin channel for micro
It looks like there may be a bit of a wait between submitting a plugin to the repo and having it accepted. Is micro still merging pull requests with new plugins?
Such a field should be required.
Merging a link to a repo.json here is equivalent to fully trusting of the author with write access to that repo.json endpoint.
The github URLs should be contrained to a specific revision/release tag of the upstream repo, and the downloaded artifact should be constrained and verified with a hash.
It would be really nice with some documentation on usage after installation of these plugins.
The next plugin was deleted. Could you be so kind to update the README.md
-> vcs
-> Mark changed lines in Git or Mercurial repositories
-> https://bitbucket.org/dermetfan/micro-vcs
Link to snippets
(https://github.com/tommyshem/micro-snippets-plugin) is not found.
Hi,
Why did you choose Lua for the plugin language ? I'm asking this because of a pure engineering interest. Couldn't you use Go again as the official plugin language and download the compiled binaries or does the plugin language needs to be interpreted so that you can embed it in to the program without re-compiling the whole micro binary ?
I currently started looking at Lua , so my other question is , if it has to be an interpreted language , why not any other language but lua ? Is it because you are using C bindings for both languages , or simply you knew Lua ?
Maybe the answer to these questions lies somewhere in the codebase but a nice explanation with your thoughts on the process will be very helpful for me on learning different engineering concepts.
Thanks
Hi,
Micro editor is a great tool. I am trying to make a plugin to integrate Org Mode into it using pandoc. What I cannot figure out is two things:
How to save the text buffer to a temporary file.
How to load the text of the temporary file into the current buffer, without opening a new buffer.
Can you help me out? I can give you a nice plugin in return. ;-)
Cheers,
Agent725
Micro editor #1276 problems with plugin install error.
// Rubocop plugin
"https://raw.githubusercontent.com/computerers/micro-rubocop/master/repo.json"
plugin is missing, might have been deleted from github.
Needs removing from json file.
Hi, I Recently built a simple website that can search micro plugins from official channel.
I think i could be useful for micro users. You can reference the url of the site(https://youngbin.xyz/mepi/) or merge my site into this repo(micro-editor/plugin-channel).
If you want to merge my site into this repo. please let me know. Thank you.
Website url - https://youngbin.xyz/mepi/
GitHub Repo - https://github.com/sukso96100/mepi
I'm either confused about what the correct procedure with uninstalling plugins is or this is a bug.
Micro version 2.0.10, running Ubuntu 21.10.
# install wc
$ micro -plugin install wc
Downloading "wc" (1.2.1) from "https://github.com/adamnpeace/micro-wc-plugin/archive/1.2.1.zip"
One or more plugins installed.
# work with micro
$ micro foo
# uninstall wc
$ micro -plugin remove wc
Removed wc
# work with micro again
$ micro foo
Lua Error: wc.wordCount does not exist
Press enter to continue
Running micro after uninstalling wc
works, though an error message is displayed and requires an extra keypress.
I tried opening a new terminal and cleaning the config directory, though the message persists.
the old one https://github.com/samdmarshall/micro-fzf-plugin doesn't work with new micro
try my fork https://github.com/giangm9/micro-fzf-plugin
if it work, add it to the list
When I type fzf
and press Enter just open an empty file. I'm using fzf 1.0.5.
I have a docker container listening on port 53 and I get this error when installing the fmt plugin:
Get https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json: dial tcp: lookup raw.githubusercontent.com on 127.0.0.1:53: read udp 127.0.0.1:38986->127.0.0.1:53: read: connection refused
I think this is due to port 53 being bound already but I guess I'm not 100% sure.
hello, I followed the instructions given at the end of the page plugins.md but I'm unable to go to the step Pull Request.
https://github.com/patatetom/micro-sort-lines
regards.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.