Tutorial 2 (12th February):

Note

In this second tutorial, you will learn to use shell and git.

• Shell Script
  • Example
  • Exercise
• Git
  • Installation
  • Creating an account on a Git hosting service
  • Register your ssh public key with the hosting service
  • Create a Git repository on a hosting service
  • Permission setting on a Git hosting service
  • Create a new local repository
  • Synchronize the local repo with the remote repo
  • Practice 1: Commit a new file
  • Practice 2: Commit file update
  • Practice 3: Restore lost files from a remote repo
  • Practice 4: Restore a past version
  • Practice 5: Create a patch
  • Practice 6: Apply a patch
  • Practice 7: Create a branch
  • Practice 8: Switch a branch
  • Practice 9: Merge a branch
  • Further information