micro editor doesnt have proper version. #5081
Labels
bug report
Something is not working properly
packaging
Issue related to building packages, not affecting end users directly
When running
micro -version
, micro returnsThe side effect is that it is impossible to install plugins in micro outside of the default plugins that come with the editor.
This is a known issue with the debian package (see zyedidia/micro#1582 )
Steps to reproduce
micro -version
Expected behavior
It should return the correct version, git hash and date of compilation.
Additional information
The text was updated successfully, but these errors were encountered: