cambiar el nombre del repositorio?
me es dificil debuguear problemas con otrxs porque hay que distinguir haini.sh el comando del directorio. no sé cómo podría llamarse, porque cambiar punto por guión o quitar el punto también implica captar la diferencia entre caracteres.