jmbc 1433187361 learn PS4 To The Rescue, http://stackoverflow.com/questions/5014823/how-to-profile-a-bash-shell-script