si comme tu le disais precedemment, le git init est marginal par rapport au temps de calcul, supprimer/annuler le git init ne changera pas le temps de calcul,
ton utilisateur n'aura pas plus de retour de l'execution du script s'il faut 8h de calcul.
et si tu toleres que l'utilisateur fasse Ctrl+C sur le git init, pourquoi ne pas simplement poser la question "souhaitez vous faire un git init ? [O/n]"
la personne à alors le choix, et tu sais exactement ce qui se passe (et l'utilisateur aussi)
[^] # Re: rien d'autre apres le git init ?
Posté par NeoX . En réponse au message Ctrl+c ferme xterm. Évalué à 3.
si comme tu le disais precedemment, le
git initest marginal par rapport au temps de calcul, supprimer/annuler le git init ne changera pas le temps de calcul,ton utilisateur n'aura pas plus de retour de l'execution du script s'il faut 8h de calcul.
et si tu toleres que l'utilisateur fasse Ctrl+C sur le git init, pourquoi ne pas simplement poser la question "souhaitez vous faire un git init ? [O/n]"
la personne à alors le choix, et tu sais exactement ce qui se passe (et l'utilisateur aussi)