Skip to content
Discussion options

You must be logged in to vote

The micro executable is the only thing that's strictly required. You probably want to place it somewhere in your $PATH (for example /usr/local/bin/micro to make it available for all users or ~/.local/bin/micro to make it available for only the current user). On most distributions /usr/bin/micro is where a package manager (eg. apt, dnf, pacman) would install micro, and as such it's not necessarily a good idea to manually place binaries there.

  1. micro.1 is the man page (what you see when you run man 1 micro). You don't necessarily need it, but you can put it in /usr/local/share/man/man1/micro.1 or ~/.local/share/man/man1/micro.1
  2. micro.desktop could be placed in /usr/local/share/applications/…

Replies: 2 comments 1 reply

Comment options

You must be logged in to vote
1 reply
@mikek88
Comment options

Answer selected by mikek88
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
3 participants