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.