Skip to content

Instantly share code, notes, and snippets.

View dzc34's full-sized avatar

Fabrice Gangler dzc34

28 followers · 163 following
View GitHub Profile
@dzc34
dzc34 / git reset HEAD^ --mixed
Created December 29, 2015 04:27
Git, revenir en arrière d'1 commit sur la branche courante en récupérant les modifications du commit dans l'espace de travail
# Git, revenir en arrière d'1 commit sur la branche courante
# en récupérant les modifications du commit dans l'espace de travail
git reset HEAD^ --mixed
@dzc34
dzc34 / git reset HEAD^ --hard
Created December 29, 2015 04:28
Git, revenir en arrière d'1 commit sur la branche courante
# Git, revenir en arrière d'1 commit sur la branche courante
# avec un index et un espace de travail propre
git reset HEAD^ --hard
@dzc34
dzc34 / Git : fetch PULL REQUEST -- Exemple pour PR n°50 sur branch X .sh
Last active February 6, 2023 15:04
Git - Récupérer une pull request sans rajouter un nouveau remote
# exemple si la Pull-Request n° 50 a été faite sur la branch X
git checkout origin/X
git checkout -b X
git fetch origin refs/pull/50/head
git merge FETCH_HEAD
@dzc34
dzc34 / git log
Created January 1, 2016 22:16
git log --oneline --graph --decorate
git log --oneline --graph --decorate <branch>
git log --oneline --graph --decorate <tag>
git log --oneline --graph --decorate <hash>
@dzc34
dzc34 / git shortlog -s -n
Last active January 4, 2016 21:12
Contributeurs par nombre de commits (sans les commits de merge)
# Contributeurs par nombre de commits (sans les commits de merge)
git shortlog -s -n --no-merges
git shortlog --summary --numbered --no-merges
# Contributeurs (avec mail) par nombre de commits (sans les commits de merge)
git shortlog -s -n --no-merges -e
git shortlog -s -n --no-merges --email
# Contributeurs par nombre de commits (sans les commits de merge)
# pour une branche "develop" ou un tag "v4.0.0"
@dzc34
dzc34 / git_amend_author_date.sh
Last active July 22, 2017 17:53
git commit --amend --author=
# changer la date et l'auteur d'un commit
git rebase -i
git commit --amend --author="Author Name <user@domain.org>"
git commit --amend --date="2014-02-11 10:25:59"
git commit --continue
@dzc34
dzc34 / docker exec -ti <container id>
Created July 23, 2016 23:29
Docker - Ouvrir un shell dans un conteneur
# ouvrir un shell dans un conteneur
docker exec -ti <container_id> /bin/bash
@dzc34
dzc34 / Ubuntu--Duplication des icônes sur le bureau
Created August 26, 2016 17:12
Ubuntu - bug affichage "Duplication des icônes sur le bureau"
# Duplication des icônes sur le bureau
###########################################
# source : https://doc.ubuntu-fr.org/cinnamon#duplication_des_icones_sur_le_bureau
# Il se peut parfois que les icônes du bureau apparaissent en double et génèrent en apparence un bug d'affichage.
# La commande suivante devrait résoudre immédiatement le problème:
######################################################################
gsettings set org.gnome.desktop.background show-desktop-icons false
@dzc34
dzc34 / git --date
Last active September 16, 2016 23:59
GIT - Forcer la date "Auteur" et la date "Auteur du commit"
# Forcer la date "Auteur" (date du commit initial) / GIT_AUTHOR_DATE
git commit --amend --date="2016-08-21 17:18:43 +0200"
# Forcer la date "Auteur du commit" (date du commit après éventuel rebase)
export GIT_COMMITTER_DATE="Wed Feb 16 14:00 2037 +0100"
git commit --amend
unset GIT_COMMITTER_DATE
# source
@dzc34
dzc34 / Ubuntu--Creation-raccourci-bureau
Created September 21, 2016 22:59
création d'un lanceur d'application sur le bureau Ubuntu 16.04
# création d'un lanceur d'application sur le bureau Ubuntu 16.04
sudo apt-get install gnome-panel
gnome-desktop-item-edit ~/Bureau/ --create-new
# source : https://forum.ubuntu-fr.org/viewtopic.php?id=1586501