Le manuel de ark
Précédent | Chapitre 3. Utilisation de ark | Suivant

# 3.3. Extraire les archives

Une fois une archive ouverte dans Ark, vous pouvez la décompacter. Pour extraire des fichiers d'une archive, vous pouvez soit sélectionner Extraire... dans le menu Action ou cliquer avec le bouton droit de la souris sur un fichier. Une boîte de dialogue d'extraction vous permet de sélectionner l'endroit où vous voulez extraire les fichiers. Vous pouvez aussi sélectionner quels fichiers vous voulez extraire :

- "Actuel" extrait les fichiers récemment sélectionnés. Si plusieurs fichiers ont été sélectionnés, seuls les fichiers sélectionnés en dernier seront extraits.

- "Tous" extrait tout le contenu de l'archive.

- "Fichiers sélectionnés" extrait tous les fichiers qui ont été sélectionnés.

- "Format" vous permet de spécifier quels fichiers seront extraits, correspondant à un certain format, ie `*.txt` ou `*.jpg`. Notez que vous ne pouvez utiliser qu'un format à la fois.

Vous pouvez spécifier le répertoire d'extraction des fichiers dans la zone de texte "Extraire dans :". Si vous voulez changer le répertoire par défaut, dans la fenêtre principale de l'application, choisissez Répertoires... dans le menu Configuration. Dans l'onglet "Avancé", vous pouvez choisir quelques options spécifiques dépendantes du format de l'archive.

Précédent | Sommaire | Suivant
Travailler avec les fichiers | Niveau supérieur | Création d'une archive et ajout de fichiers