Packaging fix addressing inability to install and use plugins
Details
Details
- Reviewers
JoshStrobl - Group Reviewers
Triage Team - Commits
- R2071:f51c86003a64: manually set version and short hash so the plugin manager and plugins work
- micro --version
- Install and use filemanager plugin
- Create a new text file, edit, save, reopen
Diff Detail
Diff Detail
- Repository
- R2071 micro
- Branch
- master
- Lint
No Lint Coverage - Unit
No Test Coverage
Event Timeline
Comment Actions
I feel like I need to explain this change further. Plugins can no longer be installed through the plugin manager (eg. micro -plugin install filemanager) as micro is not reporting its version number correctly, it reports 0.0.0-unknown, so it fails the minimum version check for plugin support. Should also resolve this https://discuss.getsol.us/d/3796-micro-editor-weird-behaviour-after-friday-update
This seems like it is the easiest way to fix this and maintain it going forward.
Comment Actions
We sure it wouldn't just be easier to use the git support as the source instead of the automatically generated GitHub tarball? git|https://github.com/zyedidia/micro.git : v2.0.1