problem to update bash profile

Question

Each time i work with a tool named criu, i set the path variable:

 PATH=$PATH:/home/th/criu-1.3-rc2; export PATH

to be able to run

criu dump

but when I close the terminal and open it, it does not work

i update the :

echo 'export PATH=$PATH:/home/th/criu-1.3-rc2'  >> ~/.bash_profile

but the same problem persists

Answer 1

Update your .bashrc instead of .bash_profile that is used only for bash in interactive mode.

Here is a useful explanation.