@@ -42,7 +42,7 @@ The slightly old-fashionedly named tape-archive-file, shortly named tar file or
...
@@ -42,7 +42,7 @@ The slightly old-fashionedly named tape-archive-file, shortly named tar file or
tarball, is a common file format for distributing collections of files contained
tarball, is a common file format for distributing collections of files contained
within these archives.
within these archives.
The extraction from the tar files is done as follows:
The extraction from the tar files is done as follows:
Download the \Dune tarballs from the \Dune website (version 2.6 or version 2.7) and the \Dumux tarballs from \href{https://zenodo.org/search?page=1&size=20&q=conceptrecid:2479594&all_versions&sort=-version}{Zenodo} or the \href{https://git.iws.uni-stuttgart.de/dumux-repositories/dumux}{\Dumux Git-repository} to a certain folder in your file system.
Download the \Dune tarballs from the \Dune website (version 2.6 or version 2.7) and the \Dumux tarballs from \href{https://zenodo.org/search?page=1&size=20&q=conceptrecid:2479594&all_versions&sort=-version}{Zenodo} or the \href{https://git.iws.uni-stuttgart.de/dumux-repositories/dumux/-/releases}{\Dumux Git-repository} to a certain folder in your file system.
Create the common root directory, named \texttt{DUMUX} in the example below.
Create the common root directory, named \texttt{DUMUX} in the example below.
Then extract the content of the tar files, e.\,g. with the command-line program
Then extract the content of the tar files, e.\,g. with the command-line program
