... | @@ -56,7 +56,7 @@ $ sudo webis core update |
... | @@ -56,7 +56,7 @@ $ sudo webis core update |
|
If you have only one user account, you don't need to clone the repository to a system-wide folder, any location (e.g. in your HOME directory) will do, for example:
|
|
If you have only one user account, you don't need to clone the repository to a system-wide folder, any location (e.g. in your HOME directory) will do, for example:
|
|
|
|
|
|
```shell-session
|
|
```shell-session
|
|
$ git clone https://webis16.medien.uni-weimar.de/gitlab/code-generic/code-webis-cmd.git ~/webis-cmd
|
|
$ git clone https://git.webis.de/code-generic/code-webis-cmd.git ~/webis-cmd
|
|
$ sudo ~/webis-cmd/tools/core/install.sh
|
|
$ sudo ~/webis-cmd/tools/core/install.sh
|
|
```
|
|
```
|
|
|
|
|
... | | ... | |