Extracting your compressed files

During the lifetime of your workspace, you might find the need to extract compressed folders which have been added to the file system. In particular, items which are received via Workspace to Workspace Airlock will always arrive as a zip file. There are numerous ways to extract these files.

Extract using the Extract button

An 'Extract' button is available for folders which have a .zip extension. Choose the file you wish to unzip and click the ellipsis to show it. You will then be presented with a pop-up box that includes information on where your files will be extracted.

Extract option.png

You can either add some text to the box which will create a new folder with that name and extract the files there or you can leave the name blank and the extracted files will be added to the current folder of your zip file (e.g. Files). You also have the option to remove the zip file after the contents have been extracted.

Extract files to folder.png

Unzip via the R Console

You may choose to unzip your files using the R console. The following code snippet could be reused and adapted to work for your file. The following example assumes that the file you wish to unzip is called ‘unzipMe.zip’, is stored in the Files folder and that you wish to extract your files directly into the Files folder.

zipF <- "/home/workspace/files/unzipMe.zip"

outDir <-"/home/workspace/files"

unzip(zipF, exdir=outDir)

Extract using a Virtual Machine

If you have a Virtual Machine available as part of your workspace, you may find it convenient to use the unzip functions there. Open your Virtual Machine and find your zip file then use the built-in Windows or Linux functionality to extract your files.

Linux

Open the terminal and cd into the directory where your .zip file is located. To extract your zipped file in the current folder, use the following command:

unzip file.zip

To extract the zipped file into a different directory, run:

sudo unzip file.zip -d /path/to/your/folder

Windows

Navigate to the folder where your .zip file is located. Right-click on it, select 'Extract All...' and then set the destination folder. Alternatively, you can do this using 7-Zip.

Updated on August 31, 2023

Was this article helpful?