Petit rappel sur les extensions sous linux
l’extension d’un fichier sous linux n’est pas ce qui va déterminer son type. Pour s’en assurez vous pouvez l’expérience avec votre fichier abc.appimage. Faite un mv abc.appimage abc
Ce qui va renommer votre fichier, si vous faites un ./abc votre programme va se lancer quand même !!