Template Installation (Spring)
Note
These steps should be only performed by one member of your group.
Info
To use the git commands with ssh you need to have set up your ssh public key.
1. Clone the repository to any local destination.
# IF YOU ARE USING SSH USE THIS COMMAND (RECOMMENDED)
$ git clone --recursive git@se-gitlab.inf.tu-dresden.de:robolab/robolab-template.git robolab-group-<id>
# IF YOU AREN'T USING SSH USE THIS COMMAND
$ git clone --recursive https://se-gitlab.inf.tu-dresden.de/robolab/robolab-template.git robolab-group-<id>
The flag --recursive
initializes the submodule robolab-deploy
.
2. Change to the working directory.
$ cd ./robolab-group-<id>
3. Set the remote upstream to your group repository.
# IF YOU ARE USING SSH USE THIS COMMAND (RECOMMENDED)
$ git remote set-url origin git@se-gitlab.inf.tu-dresden.de:robolab-spring/<term>/group-<id>.git
# 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>.git
Explanation of placeholders:
<term>
is the semester your course has started in the formatwsyyyy
/ssyyyy
. For instance, if the introduction took place in the current winter semester (e.g. ws1920),<term>
will bews2019
.<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 enter042
.
4. Verify, that the new upstream has been set successfully.
# Using ssh (RECOMMENDED)
$ git remote -v
origin git@se-gitlab.inf.tu-dresden.de:robolab-spring/<term>/group-<id>.git (fetch)
origin git@se-gitlab.inf.tu-dresden.de:robolab-spring/<term>/group-<id>.git (push)
# Using HTTPS
$ git remote -v
origin https://se-gitlab.inf.tu-dresden.de/robolab-spring/<term>/group-<id>.git (fetch)
origin https://se-gitlab.inf.tu-dresden.de/robolab-spring/<term>/group-<id>.git (push)
5. Switch to the master branch.
$ git checkout master
6. Perform an initial push.
$ git push -u origin master
Note
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 ARE USING SSH USE THIS COMMAND (RECOMMENDED)
$ git clone --recursive git@se-gitlab.inf.tu-dresden.de:robolab-spring/<term>/group-<id>.git robolab-group-<id>
# IF YOU AREN'T USING SSH USE THIS COMMAND
$ git clone --recursive https://se-gitlab.inf.tu-dresden.de/robolab-spring/<term>/group-<id>.git robolab-group-<id>