Re: [isabelle] Vista Installation

On Tue, 6 Oct 2009, anusha g wrote:

First i downloaded and installed cygwin.The problem is with execution of

$ tar -C /usr/local -xzf
$ tar -C /usr/local -xzf
$ tar -C /usr/local -xzf
$ tar -C /usr/local -xzf

I have downloaded this file and my path is C:/cygwin/usr/local/ (the 4 files
are here)
I get error message as Cannot open: No such file or directory.

The instructions on the website with the hyperlinks should be read like this: first download the tar.gz files, then run the tar command using the resulting local file names, e.g.

  tar -C /usr/local -xzf Isabelle2009.tar.gz

You are free to choose any existing and writable directory instead of /usr/local above, even your home directory.

As long as you are inside the Cygwin command line you need not specify DOS/Windows filenames such as C:/... although this should normally happen to work as well.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.