search

micro-editor / plugin-channel

Official plugin channel for micro
226 stars 49 forks source link

Uninstalling plugins #76

Open zouharvi opened 3 years ago

zouharvi commented 3 years ago

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.

sebkolind commented 3 years ago

Do you still have the wc plugin directory in ~/.config/micro/plug/?

zouharvi commented 3 years ago

There is nothing in ~/.config/micro/plug.

Yuiken commented 2 years ago

Reproduced this error on micro version: 2.0.9 and all you need to do is remove "F5": "lua:wc.wordCount" from bindings.json

taconi commented 6 months ago

Does the error persist on micro 2.0.13?