Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Pour déterminer l'existence d'un répertoire :
#Variable à modifier pour indiquer le chemin du répertoire recherché vardir=/media/linux if [ -d "$vardir" ]; then echo "Le répertoire a été trouvé!" else echo "Le répertoire n'a pas été trouvé!" fi
Déterminer l'existence d'un fichier :
#Variable à modifier pour indiquer le chemin du fichier recherché varfile=/media/linux/test.txt #Vérification de la présence du fichier if [ -f "$varfile" ]; then echo "Le fichier a été trouvé!" else echo "Le fichier n'a pas été trouvé!" fi
Attention !
ici les variables contiennent des noms de fichiers simples (/media/linux). Testez chez vous.
touch "fichier avec des espaces"
fichier="fichier avec des espaces" >>>> erreur <<<< if [ -f $fichier ]; then echo "Le fichier $fichier existe" else echo "Ce fichier n'existe pas !" fi
Bien entendu, vous devrez adapter ces petits scripts à vos besoins.
Merci à cthuluh pour ces petits scripts utilitaires à destination d'une administration de son système bien ordonnée.