Ha sido conocido con los nombres «cuartel de San Gil» y «cuartel de Leganitos».