git Archives - Page 2 of 2 - Robotics with ROS

Mastering git, Part 3 (Undo local changes, git revert, git reset, git amend and git clean)

Leave a Comment / Git, Tutorials / admin

1. Checkout The git checkout moves the HEAD ref pointer to a specified commit. To demonstrate this, consider the following example:

mkdir remote_repose
mkdir repos && cd repos
git init
git init --bare ../remote_repose/
git remote add origin ../remote_repose/

touch A.txt
git add -A

git commit -a -m 'A Added'
git push --set-upstream origin master

touch B.txt
git add -A
git commit -a -m 'B Added'
git push

touch C.txt
git add -A
git commit -a -m 'C Added'
git push

touch D.txt
git add -A
git commit -a -m 'D Added'
git push

mkdir remote_repose

mkdir repos && cd repos

git init

git init --bare ../remote_repose/

git remote add origin ../remote_repose/

touch A.txt

git add -A

git commit -a -m 'A Added'

git push --set-upstream origin master

touch B.txt

git add -A

git commit -a -m 'B Added'

git push

touch C.txt

git add -A

git commit -a -m 'C Added'

git push

touch D.txt

git add -A

git commit -a -m 'D Added'

git push

Now you can change the HEAD with:

git checkout <commit-id>

1	git checkout <commit-id>

git checkout HEAD~<number>

1	git checkout HEAD~<number>

you can find all commits again by:

git log --all

1	git log --all

For instance:

git checkout HEAD~2

1	git checkout HEAD~2

gitk --all

1	gitk --all

1.2 Detached HEAD Any checkout of a commit that is not […]

Mastering git, Part 3 (Undo local changes, git revert, git reset, git amend and git clean) Read More »

Mastering git, Part 2, Creating and managing repositories

Leave a Comment / Git, Tutorials / admin

Creating a bare repository

mkdir remote_repose1 remote_repose2
cd remote_repose1
git init --bare
cd ../remote_repose2
git init --bare

mkdir remote_repose1 remote_repose2

cd remote_repose1

git init --bare

cd ../remote_repose2

git init --bare

Creating a repositiy

mkdir repos1 repos2
cd repos1/
git init .

mkdir repos1 repos2

cd repos1/

git init .

Managing remotes You need to know how to handle your remote repositories in order to be able to work on any Git project. Remote repositories are copies of your project which are hosted elsewhere on the Internet or the network. You can have several of them,

Mastering git, Part 2, Creating and managing repositories Read More »

Mastering git, Part 1, setting up git environment, GUI, mergetool, difftool

Leave a Comment / Git, Tutorials / admin

Installing prerequisite

sudo apt-get install git-gui gitk meld kdiff3

1	sudo apt-get install git-gui gitk meld kdiff3

Configuring Git Environment First config your environment and set a proper merge/ diff tool. The settings in Linux are under/home/<username>/.gitconfig. If you don’t know where this file is located in your OS You can easily edit this file by:

git config --global -e

1	git config --global -e

All Git settings can be set or viewed via terminal, i.e:

git config --list --show-origin

1	git config --list --show-origin

Mastering git, Part 1, setting up git environment, GUI, mergetool, difftool Read More »

Cookie	Duration	Description
cookielawinfo-checbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.