Commit ca56f54e authored by Geoffroy Lesur's avatar Geoffroy Lesur 👻
Browse files

make sure the git directory is idefix (can lead to issues in the public

repo)
parent 722b4850
Pipeline #86278 canceled with stages
in 20 minutes and 30 seconds
......@@ -21,7 +21,7 @@ Download:
using either ssh or https url as `<address>`
```shell
git clone <address>
git clone <address> idefix
cd idefix
git submodule init
git submodule update
......
......@@ -8,7 +8,7 @@ Download and install *Idefix*
One first need to download *Idefix* from the public git. Say you want to install *Idefix* in the directory ``~/src/idefix``, you need to run::
cd ~/src
git clone https://<yourFavouriteIdefixRepo>
git clone https://<yourFavouriteIdefixRepo> idefix
cd idefix
git submodule init
git submodule update
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment