.bash_machine should be called by .bashrc not .bash_profile
.bashrc no need for function; new html syntax file for html5