Modifed my bashrc for the play() function which based on file extension chooses either ogg123 mpg123 or mpv