An important bash function.