Today I learned a little trick about updating bash file on the fly. Earlier I
was under impression every time you edit your bash or any other system related
shell script file, it is necessary to restart the terminal. However, I realized
that this is not the case.