Usare il file manager per lavorare con gli archivi

È possibile utilizzare il file manager per aggiungere file a un archivio o per estrarne i file.

8.1. Aggiungere file in un archivio dal file manager

È possibile utilizzare il file manager per aggiungere file in un archivio nei seguenti modi:

  • Trascinando i file da una finestra del file manager all'interno della finestra di Gestore di archivi.
  • Usando il menù pop-up del file manager per aggiungere file in un archivio.

Per utilizzare il menù pop-up del file manager per aggiungere file in un archivio, procedere come segue:

  1. Fare clic col pulsante destro del mouse su un file o una cartella all'interno della finestra del file manager.

  2. Scegliere Crea archivio... dal menù pop-up per visualizzare la finestra di dialogo Crea archivio di Gestore di archivi.

  3. Inserire il nome dell'archivio, senza l'estensione, nella casella di testo Archivio.

  4. Scegliere il tipo di archivio dall'elenco a discesa.

  5. Scegliere la posizione dove salvare l'archivio dall'elenco a discesa Posizione. Se la posizione non è presente nell'elenco, scegliere Altro... per selezionarla dal dialogo Posizione.

  6. Selezionare le opzioni richieste per la creazione da Altre opzioni. Per maggiori informazioni sulle opzioni di creazione, consultare Sezione 9 - Opzioni di creazione.

  7. Fare clic su Crea per aggiungere i file selezionati all'interno dell'archivio.

    Per selezionare le opzioni avanzate per l'aggiunta di file o cartelle, è necessario avviare Gestore di archivi come descritto nella Sezione 2.1 - Avviare Gestione di archivi.

8.2. Estrarre file da un archivio utilizzando il file manager

È possibile utilizzare il gestore di file per estrarre file da un archivio nei seguenti modi:

  • Trascinando i file dalla finestra di Gestore di archivi in una finestra del file manager.
  • Utilizzando il menù a comparsa del gestore di file per estrarre i file da un archivio.

Per utilizzare il menù a comparsa del gestore di file per estrarre i file da un archivio, procedere come segue:

  1. Fare clic col pulsante destro del mouse su un archivio all'interno della finestra del file manager.
  2. Scegliere Estrai qui per estrarre il contenuto dell'archivio nella directory in cui è contenuto l'archivio.

Se l'archivio è cifrato, Gestore di archivi chiederà l'inserimento della password prima di estrarre i file.