Install macro packages for your tex compiler

Some TeX software distribution has its own package manager and can download packages automatically. However on my PC I don't have a LaTeX software distribution with a package manager, and when I encountered with an error " package 'proof.sty' not found ",
I searched for a solution to this problem, the answers are not so convenient until I found this.

This solution is for linux users:

First you need to install apt-file.

sudo apt-get install apt-file

Then find the package you need:

apt-file update

apt-file -x search '\proof.sty'

You will get a response like this

texlive-latex-extra: /usr/share/texlive/texmf-dist/tex/latex/lkproof/proof.sty

And you know where this file is.

The only thing left is to install the package texlive-latex-extra,

sudo apt-get install texlive-latex-extra

The solution is easy but dumpy, since you need to install the entire
texlive-latex-extra package of about 480mb in order to use only one macro package.