Installation - INF

These steps should be only performed by one member of your group.

1. Clone the repository to any local destination.

$ git clone --recursive https://se-gitlab.inf.tu-dresden.de/robolab/robolab-template.git robolab-template

The flag --recursive initializes the submodule robolab-deploy.

2. Change to the working directory.

$ cd ./robolab-template

3. Set the remote upstream to your group repository.

# IF YOU AREN'T USING SSH USE THIS COMMAND
$ git remote set-url origin https://se-gitlab.inf.tu-dresden.de/robolab-spring/<term>/group-<id>

# IF YOU ARE USING SSH USE THIS COMMAND
$ git remote set-url origin git@se-gitlab.inf.tu-dresden.de:staff/robolab-spring/<term>/group-<id>

Explanation of placeholders:

  • <term> is the semester your course has started in the format WSyyyy / SSyyyy. For instance if the introduction took place March 2019 <term> will be WS2019.

  • <id> has been assigned to you at the beginning of the course. Please make sure to include leading zeros and fill up the id to three digits, e.g. group 42 will enter 042.

4. Verify, if the new upstream has been set successfully.

# Using HTTPS
$ git remote -v
origin	https://se-gitlab.inf.tu-dresden.de/robolab-spring/<term>/group-<id> (fetch)
origin	https://se-gitlab.inf.tu-dresden.de/robolab-spring/<term>/group-<id> (push)

# Using SSH
$ git remote -v
origin	git@se-gitlab.inf.tu-dresden.de:staff/robolab-spring/<term>/group-<id> (fetch)
origin	git@se-gitlab.inf.tu-dresden.de:staff/robolab-spring/<term>/group-<id> (push)

5. Switch to the master branch.

$ git checkout master

6. Perform an initial push.

$ git push origin master

This step should be only performed by other members of your group.

Now the other members of your team are ready to clone your group repository. Make sure to enter the corresponding URL from step (3) and also use the --recursive flag.

# IF YOU AREN'T USING SSH USE THIS COMMAND
$ git clone --recursive https://se-gitlab.inf.tu-dresden.de/robolab-spring/<term>/group-<id>

# IF YOU ARE USING SSH USE THIS COMMAND
$ git clone --recursive git@se-gitlab.inf.tu-dresden.de:staff/robolab-spring/<term>/group-<id>