Yes, Hayreddin Pasha held the nickname. He inherited the name
Baba Oruç from his older brother. The name sounded much like a
European word for "red Beard", Barbarossa. Seeing that he did
actually have a red beard, he became known as Barbarossa Hayreddin
Pasha throughout Europe.