From 6e9744930b90e379a5765e24243f4f60af248c7a Mon Sep 17 00:00:00 2001
From: Adrien Destugues <pulkomandy@pulkomandy.tk>
Date: Mon, 14 Dec 2020 22:17:06 +0100
Subject: [PATCH] Allow filenames up to 8 characters.

---
 header.c | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/header.c b/header.c
index 5001581..7903578 100644
--- a/header.c
+++ b/header.c
@@ -52,11 +52,14 @@ void getNomFichAms(char *nomFichAms,char *pathFichAms)
   /* copie et vérification du nom du ficher amdos */
   if (strlen(pathFichAms)>12)
     {printf(ERR10);exit(1);}
-  
-  while(*pathFichAms && *pathFichAms!='.' && a<8) 
-    *(nomFichAms+a++)=*pathFichAms++;
-  
-  if(a>=8 && *pathFichAms=='.') {printf(ERR11);exit(1);}
+
+  while(*pathFichAms && *pathFichAms!='.' && a < 8)
+    *(nomFichAms + a++) = *pathFichAms++;
+
+  if(a > 8 && *pathFichAms=='.') {
+    printf(ERR11);
+    exit(1);
+  }
 
   /* copie de l'extension si elle existe*/
   if (*pathFichAms=='.')