command not found

Stream: new members

[Alex Zhang]

I am attempting to cite other works according to https://leanprover-community.github.io/contribute/doc.html#citing-other-works.
But when I ran the command in the terminal

bibtool --preserve.key.case=on --preserve.keys=on --print.use.tab=off --pass.comments=on -s -i docs/references.bib -o docs/references.bib

I got the error bash: bibtool: command not found.
Perhaps I did not understand the procedures here correctly. What is the right thing that I should do?

[Alex J. Best]

Bibtool is an external command, part of many (la)tex distributions.
If you don't have any latex distribution installed then I wouldn't expect this to work. Do you use latex to write documents? If not you can try and install it, depending on what operating system you are on it will be a different process, but on linux its mostly quite straightforward (but quite a large system of programs).

[Alex Zhang]

I installed texworks.