Existe-t-il un moyen rapide de vérifier si un fichier compressé est vide, ou dois-je le décompresser en premier? exemple: $ touch foo $ if [ -s foo ]; then echo not empty; fi $ gzip foo $ if [ -s foo.gz ]; then echo not empty; fi not empty $ wc -l foo.gz 1