Well to be sure you could simply try copying and pasteing the whole lot of commands into a terminal and that should do it...
Well to be sure you could simply try copying and pasteing the whole lot of commands into a terminal and that should do it...