Skip to content

Latest commit

 

History

History
105 lines (70 loc) · 4.95 KB

signup.md

File metadata and controls

105 lines (70 loc) · 4.95 KB
Raw

Signing up to DAT320 Operating Systems and Systems Programming

In this course we use various systems that require additional sign up procedures.

QuickFeed

This course uses QuickFeed, a tool developed at the University of Stavanger for students and teaching staff to manage the submission and validation of lab assignments. All lab submissions from students are handled using Git, a source code management system, and GitHub, a web-based hosting service for Git source repositories. Thus, basic knowledge of these tools are necessary. The procedure used to submit your lab assignments is explained in the lab submission process.

Students push their updated lab submissions to GitHub. Every lab submission is then processed by a custom continuous integration tool. This tool will run several test cases on the submitted code. QuickFeed generates feedback that let the students verify if their submission implements the required functionality. This feedback is available through a web interface. The feedback from the QuickFeed system can be used by students to improve their submissions.

Git and GitHub

Git is a distributed revision control and source code management system. Basic knowledge of Git is required for handing in the lab assignments. There are many great resources available online for learning Git. A good book is Pro Git, which is available for free here. Chapter 2.1 and 2.2 should contain the necessary information for delivering the lab assignments.

GitHub is a web-based hosting service for software development projects that use the Git revision control system. An introduction to Git and GitHub is available in this video.

You need to sign up for a GitHub account to get access to the needed course material.

QuickFeed Registration

Follow the steps below to register and sign up for the course on QuickFeed. Here are two short videos describing these steps: Part 1 and Part 2.

  1. Go to GitHub and register. A GitHub account is required to sign in to QuickFeed. You can skip this step if you already have an account.

  2. Click the GitHub button in the navigation bar on QuickFeed to register. You will then be taken to GitHub's website.

  3. Approve that our QuickFeed application may have permission to access to the requested parts of your account. It is possible to make a separate GitHub account for only this (and other) courses if you do not want QuickFeed to access your personal one with the requested permissions.

Signing up for the Course on QuickFeed

  1. Find the course in card list and click Enroll.

  2. Wait for the teaching staff to confirm your QuickFeed registration.

  3. Once you have been accepted into the course, you will get access to the course's organization dat320-2020 on GitHub. That is, you will get access to the assignments repository and a personal repository named username-labs.

    Note you may receive three invitation emails from quickfeed-uis[bot]. These emails can be ignored.

Group Sign up on QuickFeed

  1. Read the policy about group assignments. Find and agree with another student to form a group. We prefer groups of two, but will allow groups of three. It is important that all group members agree to contribute equally to the group assignments.

    If you prefer to work alone, you must still create a group.

  2. Agree on a name for the group. The name will be used as the group's GitHub repository. We prefer group names that identifies the persons in the group. The group name cannot be changed later.

  3. Navigate to the course's left menu bar and select “New Group”.

  4. Enter the name of the group in the textbox above the list of students.

  5. In the dialog, find your own name via the “Search for students” text box. Click the Plus (+) symbol to add yourself to the group.

  6. Repeat the above step for the other group members.

  7. Click the “Create” button.

Discord DAT320 Server Registration

  1. Go to Discord and register. A Discord account is required to sign in to communicate with the teaching staff during lab hours. You can skip this step if you already have an account.

  2. To join our DAT320-2020 Discord server, navigate here.

  3. Once connected to the server, please register with our bot, @dat320-help-bot, by sending it a direct message:

    !register username

    where username is your GitHub username.

    Note that to register with the bot, you must previously have registered with QuickFeed. Hence, please make sure that you have joined the dat320-2020 GitHub organization and registered with QuickFeed first.

    If you need help with registering on the server, send a message in #new-users.