On 26.09.2013 10:01, Peter Lammich wrote:
I cannot unpack the tar-file. My Linux (Ubuntu 12.04.2 LTS) gives me a
bunch of error messages:
tar: Ignoring unknown extended header keyword `SCHILY.ino'
tar: Ignoring unknown extended header keyword `SCHILY.nlink'
tar: Ignoring unknown extended header keyword `SCHILY.dev'
...
This seems to happen when using GNU tar to unpack files created by the
OS X-version of tar and is not an error. This irritating warning can be
avoided by using GNU tar to build the tar files (obviously), or
reportedly by playing around with the --format option of tar.
-- Lars
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
