Outils pour utilisateurs

Outils du site




En complément de man, fournit des exemples pour des commandes utiles

sudo snap install cheat  
cheat git
# To set your identity:
git config --global user.name <name>
git config --global user.email <email>
# To set your editor:
git config --global core.editor <editor>
# To enable color:
git config --global color.ui true
# To stage all changes for commit:
git add --all
# To stash changes locally, this will keep the changes in a separate changelist
# called stash and the working directory is cleaned. You can apply changes
# from the stash anytime
git stash
# To stash changes with a message:
git stash push -m <message>
# To list all the stashed changes:
git stash list
# To apply the most recent change and remove the stash from the stash list:
git stash pop
# To apply any stash from the list of stashes. This does not remove the stash
# from the stash list
git stash apply stash@{6}
# To commit staged changes:
git commit -m <message>
# To edit previous commit message:
git commit --amend
# Git commit in the past
git commit --date="`date --date='2 day ago'`"
git commit --date="Jun 13 18:30:25 IST 2015"
# more recent versions of Git also support --date="2 days ago" directly
# To change the date of an existing commit:
git filter-branch --env-filter \
    'if [ $GIT_COMMIT = 119f9ecf58069b265ab22f1f97d2b648faf932e0 ]
         export GIT_AUTHOR_DATE="Fri Jan 2 21:38:53 2009 -0800"
         export GIT_COMMITTER_DATE="Sat May 19 01:01:01 2007 -0700"
# To remove staged and working directory changes:
git reset --hard
# To go 2 commits back:
git reset --hard HEAD~2
# Checkout the fb branch, and rebase from <remote>
git reset --hard <remote>/<branch>
# To revert first/initial commit on a branch:
# Running git reset --hard HEAD~1 will give error:
# fatal: ambiguous argument 'HEAD~1': unknown revision or path not in the working tree.
git update-ref -d HEAD
# To remove untracked files:
git clean -f -d
# To remove untracked and ignored files:
git clean -f -d -x
# To push to the tracked master branch:
git push origin master
# To push to a specified repository:
git push git@github.com:<username>/<repo>.git
# Tags: Tag a commit
git tag -a <tag> <commit> -m "<commit message>"
# Tags: To push a tag to remote:
git push origin <tagname>
# Tags: To delete a tag <tagname> on remote
git push --delete origin <tagname>
# Tags: To delete a tag locally
git tag -d <tagname>
# To force a push:
git push -f
# Branches: To delete the branch <branch>:
git branch -D <branch>
# Branches: To delete a local <branch>:
git branch -d <branch>
# Branches: To delete a remote branch <branch>:
git push --delete origin <branch>
# Branches: To delete all branches on remote that are already merged:
git branch --merged | egrep -v "(^*|main|dev)" | xargs git branch -d
# Branches: To make an exisiting branch track a remote branch:
git branch -u upstream/foo
# To see who commited which line in a file:
git blame <file>
# To sync a fork with the master repo:
git remote add upstream git@github.com:<username>/<repo>.git # Set a new repo
git remote -v                                                # Confirm new remote repo
git fetch upstream                                           # Get branches
git branch -va                                               # List local - remote branches
git checkout master                                          # Checkout local master branch
git checkout -b new_branch                                   # Create and checkout a new branch
git merge upstream/master                                    # Merge remote into local repo
git show 83fb499                                             # Show what a commit did.
git show 83fb499:path/fo/file.ext                            # Shows the file as it appeared at 83fb499.
git diff branch_1 branch_2                                   # Check difference between branches
git log                                                      # Show all the commits
git status                                                   # Show the changes from last commit
# To view the commit history of a set of files:
git log --pretty=email --patch-with-stat --reverse --full-index -- Admin\*.py > Sripts.patch
# To import commits from another repo:
git --git-dir=../some_other_repo/.git format-patch -k -1 --stdout <commit SHA> | git am -3 -k
# To view commits that will be pushed:
git log @{u}..
# To view changes that are new on a feature branch:
git log -p feature --not master
git diff master...feature
# To perform an interactive rebase for the prior 7 commits:
git rebase -i @~7
# To diff files WITHOUT considering them a part of git:
# This can be used to diff files that are not in a git repo!
git diff --no-index path/to/file/A path/to/file/B
# To pull changes while overwriting any local commits:
git fetch --all
git reset --hard origin/master
# To pull down a remote branch, but rebase any locally differing commits onto
# the top of the incoming commits:
git pull <remote> <branch> --rebase
# To update all submodules:
git submodule update --init --recursive
# To perform a shallow clone to only get latest commits:
# (helps save data when cloning large repos)
git clone --depth 1 <remote-url>
# To unshallow a clone:
git pull --unshallow
# To create a bare branch (one that has no commits on it):
git checkout --orphan branch_name
# To checkout a new branch from a different starting point:
git checkout -b master upstream/master
# To remove all stale branches (ones that have been deleted on remote): So if
# you have a lot of useless branches, delete them on Github and then run this:
git remote prune origin
# To prune all remotes at once:
git remote prune $(git remote | tr '\n' ' ')
# Revisions can also be identified with :/text
# So, this will show the first commit that has "cool" in their message body
git show :/cool
# To undo parts of last commit in a specific file:
git checkout -p HEAD^ -- /path/to/file
# To revert a commit and keep the history of the reverted change as a separate revert commit:
git revert <commit SHA>
# To pick a commit from a branch to current branch. This is different than
# merge as this just applies a single commit from a branch to current branch:
git cherry-pick <commit SHA1>
# Change author of a commit:
git commit --amend --author="Author Name <email@address.com>"
# The GPG key used for signing your commits
git config --global user.signingkey 0A46826A
# Sign new tags:
git tag -s v1.5 -m 'my signed 1.5 tag'
# Sign a commit:
git commit -a -S -m 'Signed commit'
# check any signatures it finds and list them in its output:
git log --pretty="format:%h %G? %aN %s"
# Defined the key to use for signing commits:
git config user.signingkey [KEYID]
# Set signing of commits globally:
git config --global commit.gpgsign true
# To list unstracked files:
git ls-files --others --exclude-standard

hébergement de copie de dépots


git clone depot_source [depot_destination]

Ce qui va donner…

- En local: git clone /chemin/vers/depot nouveau_depot - Distant via un protocole donné:

 git clone :/:/chemin/vers/depot
 - via git: git clone git://utilisateur@hote:/chemin/vers/depot
 - via ssh: git clone ssh://utilisateur@hote:/chemin/vers/depot
 - via https: git clone https://hote:/chemin/vers/depot

général git

création du git dans le dossier courant

 git init

pour ajouter un fichier avec git (il faut le faire pour tous les fichiers nouveaux ou que l'on a modifié):

git add test/test.cpp 

pour commiter en local A FAIRE DANS MTI/work…./

git commit

ensuite saisir le commentaire associé puis faire :x pour sauver pour voir les dernier commit A FAIRE DANS MTI/work…./

git log

pour selectionner les parties de diff que l'on veut ajouter à un commit, pour ne pas polluer un commit avec des modifications qui n'ont rien à voir

git add -p files

avant de commiter pour voir les modifs locales non encore commitées A FAIRE DANS MTI/work…./ :

git status

a faire une fois au début pour s'identifier

git config --global user.name "Vandeportaele Bertrand"
git config --global user.email bvandepo@laas.fr
git config --global --add core.editor vim
cat ~/.gitconfig

pour afficher les différences des fichiers A FAIRE DANS MTI/work…./

git diff 

pour récuperer la derniere version commitée en local d'un fichier (annule les dernières modifications)

git checkout src/MTI.cpp

pour tout commiter A FAIRE DANS MTI/work…./ , attention ne pas faire si on a des fichiers qu'on ne veut pas commiter (par exemple makefile.in de MTI)

git commit -a 

pour inclure un message au commit

git commit -a -m "message"

pour montrer des stats sur les fichiers modifiés à chaque commit

git log --stat 

pour supprimer un fichier du git “Convert WebPages to MPFS.sh” sans tenir des modifs locales

git rm -f "Convert WebPages to MPFS.sh"

pour recharger les derniers push effectués par les autres depuis notre dernier pull et checker les compatibilités avant de pusher, l'option rebase permet de positionner notre prochain push (mes commits) en haut de la liste

git pull --rebase

si il y a des incompatibilité de merge, des balises sont placées dans les fichiers, effacer les balises et corriger les problèmes puis faire:

 git rebase --continue

pour ecraser un fichier en local par la version du dépot:

 git checkout -- conf/airframes/LAAS/mmlaas_N1.xml

pour soumettre mes modifs au dépot git

git push

Pour générer la liste des fichiers qui ont changé:

git status | grep modified  | sed ':a;{N;s/\n/ /};ba'   | sed 's/[[:space:]]*#[[:blank:]]*modified:[[:blank:]]*/ /g'

Cheat-sheet sur les regexp: http://krijnhoetmer.nl/stuff/regex/cheat-sheet/

Pour le remplacement du \n avec sed: http://stackoverflow.com/questions/1251999/how-can-i-replace-a-newline-n-using-sed

To resynchronize with the head branch, keeping the local change (since the last commit):

cd dossiergérépargit
git pull
git stash
git pull
git stash pop

Pour effacer le dernier commit, en conservant en local les modifications sur les fichiers:

git reset --soft HEAD~1

Pour effacer le dernier commit, en effacant en local les modifications sur les fichiers:

git reset --hard HEAD~1

Pour mettre de coté les modifications locales le temps de faire des push/pull etc (détails https://git-scm.com/docs/git-stash ):

git stash

pour restaurer ces modifications :

git stash pop

pour voir les modifications entre deux commits différents sur un fichier;

git diff 24c3b0f3e85f494ec30334025c608eafbb91738b 70364982a52fd9e8c47fbd00ddbea34f208750d2 

pour voir les modifications entre deux commits différents sur un fichier;

git diff 24c3b0f3e85f494ec30334025c608eafbb91738b 70364982a52fd9e8c47fbd00ddbea34f208750d2 ./ORBextractor.cc

pour revenir à une version commité antérieurement, d'abord s'assurer que tout les fichiers en cours de modifications sont commités puis:

  git checkout 872b6f963cc3fa7b8130b4dd6e8d76662282f714

Sur GitHub




fork sur github: https://github.com/bvandepo/ORB_SLAM2

http://stackoverflow.com/questions/11619593/how-to-change-the-fork-that-a-repository-is-linked-to je veux garder le repo original pour beneficier des updates

git remote rename origin upstream
git branch -avv # existing branches like master are linked to upstream/xxx
git remote add origin https://github.com/bvandepo/ORB_SLAM2
git checkout -b binaryVocabularyFileBranch
git add...
git commit -m"..."
git push

Whenever you need to update your fork based on the recent evolution of the original repo:

git checkout master
git pull # it pulls from upstream!
git checkout newFeatureBranch
git rebase master # safe if you are alone working on that branch
git push --force # ditto. It pushes to origin, which is your fork.

Pour inviter un collaborateur sur un repo github: https://help.github.com/articles/inviting-collaborators-to-a-personal-repository/


Automatisation envoi d'email par git


ssh ...@trac....
cd /git/robots/embedded-vision.git/hooks
cp post-receive.sample post-receive

pour trouver ou est le script post-receive-email

locate post-receive-email

je prends le dernier et ajoute l'appel la derniere ligne de post-receive

nano  post-receive 
cd /git/robots/embedded-vision.git/
nano config


   mailinglist = "cslam-developers@laas.fr"
   senderemail = "bvandepo@laas.fr"

spécifique robotpkf

regler $ROBOTPKG_BASE dans ~/.profile

source .profile 
cd robotpkg

mise à jour globale des paquets

git pull 
cd hardware/MTI/
apres avoir commité (en local)
git log
cd work.garossos.laas.fr/MTI-0.4/

changer dans test/Makefile.in

virer le -lrt  

pour construire le .configure


puis lancer configure en indiquant le dossier cible pour les executables (pas sur /usr…. ou il faudrait etre root)

./configure --prefix=/Users/bvandepo/openrobots
which glibtoolize
sudo ln -ls /usr/bin/glibtoolize /usr/bin/libtoolize

dans le cas ou on travaille sur les paquets standard (sans branches), pour mettre à jour un paquet (et installer l'executable)

make update confirm  verbose=1  

pour récuperer la dernière version du code (pas encore paquagée et stable) (ici la branche GPS de mti)

make checkout confirm

modifier le code si on veut puis pour recompiler:

make replace confirm

pour nettoyer le work

make clean confirm

pour enlever les executables installés du module

make deinstall

outils graphique

dans le dossier courant



git checkout nombranche

pour faire du merge avec interface graphique

git mergetool


on ne peut pas faire de checkout pour changer de branche tant que l'on a pas fait un commit des modifs

liste les branches, affiche une étoile devant la brance actuellement selectionnée

git branch

pour merger la branche avec la branche courante

git merge nombranch

on peut réorganiser localement les commits avant de les pusher (par exemple les réordonner, les merger etc).

rebase au lieu de merge: faire repartir une branche depuis un nouveau point d'une branche d'origine. A faire lorsque l'on veut commiter des modifs vers une branche A qui a continué d'évoluer. On dis que nos modifs doivent s'appliquer à la dernière version de la branche A. Cela crée des nouveaux commits

server git au laas: trac.laas.fr

quand on clone un repository ca cree un origin/master qui est l'exacte copie de master

si on a taggé des commits, pour qu'ils soient pris en compte, il faut utiliser

git push --tags


permet de structurer les repositories:

gestion des range

git dif master@{yesterday}..master
master^2   parent numero 2 de master
master~n  ancetre numero n sur la même branche

autres docs

Redmine au LAAS

Notice sur le wiki sysadmin: https://wiki.laas.fr/sysadmin/RedmineGitSvn#Acc.2BAOg-s_au_d.2BAOk-pot_git


Il faut ajouter à son compte utilisateur les clefs publiques générées sur les machines depuis lesquelles on veut se connecter en ssh à git.laas.fr

Mes projets en cours: https://redmine.laas.fr/projects/bvandepo

Pour créer un nouveau projet:

new suproject (à droite)
name: visapp_paper_innersense
décocher wiki
create and continue
en haut, jump to a project-> Bertrand Vandeportaele->visapp_paper_innersense


+ New repository

Cliquer sur le repository: ssh:git@redmine.laas.fr/laas/users/bvandepo/visapp_paper_innersense.git comme on a déjà en local fait un git init, faire comme indiqué sur Setup Existing Repository : cd existing_git_repo git remote add origin ssh:git@redmine.laas.fr/laas/users/bvandepo/visapp_paper_innersense.git

git push -u origin master

Pour ajouter des membres, il faut que les utilisateurs aient créé un compte sur https://redmine.laas.fr/

Settings->Members-> + New member

redmine remplace l'ancien: https://wiki.laas.fr/robots/GitServer

Pour g2o

cloné depuis github, créer un repo sur redmine et pour changer l'url:

git remote set-url origin ssh://git@redmine.laas.fr/laas/users/bvandepo/g2o-direct-slam-for-lines.git
git push origin master

pour le récupérer:

git clone ssh://git@redmine.laas.fr/laas/users/bvandepo/g2o-direct-slam-for-lines.git
git.txt · Dernière modification : 2022/11/22 14:06 de bvandepo