I am using an installer which is adding an environment variable in the ~/.bash_profile file. When I'm starting the jetty server, it is unable to find that entry...When I run $ source ~/.bash_profileit reloads the ~/.bash profile file and server starts successfully without any issues.The problem is that my customer is not going to start a new shell session, nor will he manually refresh the ~/.bash_profile file.I tried to add the source ~/.bash_profile command inside a shell script that I call when I invoke the startup script of the jetty server, but it doesn't work either.Is there any other way we can reload ~/.bash_profile of the current session? Any information you can provide me would be greatly appreciated.
source command doesn/t work when used inside shell script
linux;bash