I hope these microlectures will be helpful for your study. Please refer to the table below and select a category and a microlecture from the left panel. All microlectures were recorded by Professor Jun Su Park at Handong Global University. If you have any questions or feedback, please contact junsu [at] handong.edu.
Category
Lectures
001Development Environment Setup
002Shell Commands
003Local Git
004GitHub
001-001 | Shell Basics
▼ Description: hide▼ Description: show
This is an online lecture video that briefly introduces the core concepts of the terminal, shell, and commands used for development environment setup and the software development process. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This is an online lecture video that briefly explain how to install the Window Subsystem for Linux (WSL), which enables you to use a Linux command-line shell in a Windows environment. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
001-003 | VS Code Installation and WSL Integration
▼ Description: hide▼ Description: show
This is a video lecture that explains how to install Visual Studio Code (VS Code), an integrated development environment (IDE), and how to integrate it with WSL. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture introduces the concepts of Python virtual environments and why they're important. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
001-005 | Python Virtual Environments Setup and Workflow
▼ Description: hide▼ Description: show
This video lecture covers hands-on setup and practical usage of Python virtual environments. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture covers the basics of using Ubuntu shell commands. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture introduces the core concepts of local Git and why it matters. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture explains how to create a local Git repository. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture covers how to stage new and modified files from the working directory into the staging area, and how to create commits as immutable snapshots. It also explains how to inspect commit history and check out past commits to review earlier versions of your project code. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture explains how to undo changes and commits in local Git, and how to recover from mistakes using git reflog. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture covers creating and merging branches in local Git, and how to resolve merge conflicts when they occur. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture provides practical examples of using git stash and git revert in local Git. It also includes recovery techniques using git reflog and a new branch. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture covers how to use git cherry-pick and git rebase in local Git. It also includes how to consolidate commit history using git reset --soft. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture covers how to create a Github account, create a repository, and invite collaborators. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture covers how to generate an SSH key on your computer, add it to GitHub, access a GitHub repository from the shell, and clone it to your local machine. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture explains a typical GitHub collaboration workflow: pushing your work to a separate branch on the remote repository, opening a pull request (PR) for review and approval by collaborators, merging the approved changes into the remote main branch, and then pulling the updated main back into your local project directory. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture covers how to bring the latest changes from a remote repository into your local repository. In particular, using hands-on examples, it explains the differences between the git pull options --ff-only, --no-rebase, and --rebase, and what to do when your local work conflicts with the latest updates from the remote repository. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture introduces git fetch, which lets you retrieve the latest changes from a remote repository without immediately updating your local working branch—so you can review what changed before merging. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)
This video lecture explains how to handle push rejections when pushing changes from your local repository to a remote repository, and—when necessary—how to force-push safely. (Korean audio, but you can turn on auto-generated English subtitles in the player settings.)