Des menus dans votre terminal - retour accueil
git clone git://bebou.netlib.re/zenu
Log | Files | Refs | README |
commit 0bde1dae6bd84006f86dc3984ff48d096ebcfb16 parent 20ece2f6a23e85a9a05aa66b1cc73a6869330dc6 Auteurice: Arthur Pons <arthur.pons@unistra.fr> Date: Wed, 19 Mar 2025 17:07:51 +0100 Correction du bug d'affichage après un make pas -B Avant si l'on faisait simplement un make on avait un souci d'affichage. En entrant dans un sous-menu le menu précédent était caché. Je crois (crois) que c'était un souci avec until.txt. Dorénavant until est calculé depuis tous les menus et plus uniquement ceux qui ont été modifiés récemment. C'est pas comme si c'était très cher. Je crois qu'on peut le faire si until contient le nombre de ligne du plus grand menu et pas simplement un entier représentant ce nombre de ligne. On pourrait ensuite ajouter until en argument au wc dans le makefile. A tester. Diffstat:
M | makefile | | | 8 | ++++---- |
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/makefile b/makefile @@ -10,7 +10,7 @@ until = ${to}/until.txt all: ${until} ${script} ${emph} -${to}/%.face : ${from}/% bin/build ; bin/build -f $< > $@ -${to}/%.script : ${from}/% ${until} bin/build ; bin/build -s $< > $@ -${to}/%.emph : ${from}/% ${until} bin/build ; bin/build -e $< > $@ -${until} : ${face} ; wc $? | awk 'n>m{m=n}{n=$$1}END{print m}' > $@ +${to}/%.face : ${from}/% bin/build ; bin/build -f $< > $@ +${to}/%.script : ${from}/% bin/build ; bin/build -s $< > $@ +${to}/%.emph : ${from}/% bin/build ; bin/build -e $< > $@ +${until} : ${face} ; wc ${face} | awk 'n>m{m=n}{n=$$1}END{print m}' > $@