Results: 1578
Notes
  • Newest first
  • Oldest first
  • Newest first(All)
  • Oldest first(All)
View differences in
vimdiff
even if the default difftool is another tool
git difftool -t vimdiff
by Valeri Tandilashvili
5 years ago
0
Git
Git/Github Tutorial
1
Using git console
git config --global diff.tool "meld"
git config --global difftool.prompt false
git config --global difftool.meld.path "C:\Program Files (x86)\Meld\Meld.exe"
Using
.gitconfig
configuration file located at
C:\Users\Username\.gitconfig
[diff]
	tool = meld
[difftool]
	prompt = false
[difftool "meld"]
	path = C:\\Program Files (x86)\\Meld\\Meld.exe
by Valeri Tandilashvili
5 years ago
0
Git
Git/Github Tutorial
1
.gitconfig
which is located at
C:\Users\Admin\.gitconfig
contains user configurations
[user]
	email = tandilashvilivaleri@gmail.com
	name = Valeri Tandilash
[merge]
	tool = meld
[mergetool "meld"]
	path = C:\\Program Files (x86)\\Meld\\Meld.exe
by Valeri Tandilashvili
5 years ago
0
Git
Git/Github Tutorial
1
by Valeri Tandilashvili
5 years ago
0
Git
Git/Github Tutorial
1
We are in
detached HEAD
state if the HEAD does not point to the most recent commit. We can go into
detached HEAD
if we run the command below (if the commit is not the last one)
git checkout ba48ldo
by Valeri Tandilashvili
5 years ago
0
Git
Git/Github Tutorial
1
HEAD reference location:
.git / HEAD
If the current branch is master and
HEAD
is not detached, then the content of the file will be
ref: refs/heads/master
by Valeri Tandilashvili
5 years ago
0
Git
Git/Github Tutorial
1
Shows unstaged changes
git diff
Shows staged changes
git diff --staged
The same as the above command
git diff --cached
Shows the difference between the working directory and index (both staged and unstaged files)
git diff HEAD
Shows the difference between the commits
git diff a80982d 17d3352
Shows the difference between
login.frm
files from different commits
git diff a809822 17d3352 login.frm
by Valeri Tandilashvili
5 years ago
0
Git
1
git push origin --delete new_branch
To delete branch
new_branch
on remote repository
git push origin --delete new_branch
by Valeri Tandilashvili
5 years ago
0
Git
1
Pushes commits to the remote branch
git push origin new_branch
If the branch does not exist on remote repository, first should be run this command:
git push --set-upstream origin new_branch
Alternative of the above command is this command:
git push -u origin new_branch
To delete branch
new_branch
on remote repository
git push origin new_branch --delete
by Valeri Tandilashvili
5 years ago
0
Git
Git/Github Tutorial
1
Deletes the
login
branch
git branch -d login
Deletes the
login
branch (with force mode, which means - the branch will be deleted, even if it's not fully merged
git branch -D login
by Valeri Tandilashvili
5 years ago
0
Git
Git/Github Tutorial
1
Results: 1578