The Spanish boy's name that "Nacho" is often short for is Ignacio.
Nacho is spelled N-a-c-h-o. Nacho is a nickname (apodo) or foreshortening of the proper name Ignacio, the Anglicized equivalent of which is Ignace.
Nacho Artime's birth name is Ignacio Artime.
Nacho Campillo's birth name is Ignacio Campillo.
Nacho Goano's birth name is Goano, Ignacio.
Nacho Canut's birth name is Ignacio Canut Guilln.
Nacho Cabana's birth name is Prez Cabana, Ignacio.
Nacho Aldeguer's birth name is Ignacio Aldeguer de Sols.
Nacho Huett's birth name is Ignacio Jos Surez Huett.
Nacho Gonzalez Prado's birth name is Ignacio Gonzalez Prado.
The Mc. Lovin'Nacho's?
Ignacio.