Zulip Chat Archive

Stream: new members

Topic: command not found

Alex Zhang (Aug 09 2021 at 09:01):

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 (Aug 09 2021 at 09:06):

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 (Aug 09 2021 at 09:11):

I installed texworks.

Last updated: Dec 20 2023 at 11:08 UTC