Magma

MAGMA Computational Algebra System

Magma
 •  How to get it
 •  Download
 •  Online Demo
 
Resources
 •  Online Help
 •  Discovering Mathematics with Magma
 •  Citations
 •  How to cite Magma
 •  Links
 
 •  Contact us
Quick links:   .tar.gz   .tar   .zip

Unpacking .tar.gz files

First, ensure that you have a shell running in the same directory as the downloaded file. (Mac OS X users: a shell window can be created by launching the Terminal application from Applications->Utilities. You will then have to use the cd command to navigate to the appropriate directory.) To unpack a .tar.gz file, say, foo.tar.gz, use the following command:

gunzip -c foo.tar.gz | tar xopf -

The newly extracted files will be created in the current directory. If you also wish to see a list of the files as they are extracted, instead use the command

gunzip -c foo.tar.gz | tar xopft -

Unpacking .tar files

First, ensure that you have a shell running in the same directory as the downloaded file. (Mac OS X users: a shell window can be created by launching the Terminal application from Applications->Utilities. You will then have to use the cd command to navigate to the appropriate directory.) To unpack a .tar file, say, foo.tar, use the following command:

tar xopf foo.tar

The newly extracted files will be created in the current directory. If you also wish to see a list of the files as they are extracted, instead use the command

tar xopft foo.tar

Unpacking .zip files

Most modern Windows environments already know how to unpack .zip files. If this is the case, the icon for the .zip file should look like a normal folder icon with a zipper on it. To extract the files within, right click on the file and select the 'Extract All' option, then follow any instructions provided.

If using a version of Windows without inbuilt support for .zip files, you will need to download a zip file extractor such as JustZIPIt or the Info-ZIP tools. Refer to the documentation provided with whichever program you choose for further instructions.

If, for some reason, you wish to unpack the .zip files on a non-Windows platform, this is possible. Your operating system may already have a copy of the unzip program (or similar); otherwise it may be downloaded from the Info-ZIP website. Since the files in the .zip archives use Windows-style line terminators, you will need to pass the -a option to unzip in order to extract them with UNIX-style line terminators (also needed for Mac OS X). For instance, to extract files from the file foo.zip, use the following command:

unzip -a foo.zip

Valid HTML 4.01! Valid CSS!