There are many method provided from Internet, among which, modify the PATH section in file of /etc/profile is a decent solution.ide