53 lines
1.4 KiB
Markdown
53 lines
1.4 KiB
Markdown
|
-----
|
||
|
|
|
||
|
|
# Custom
|
||
|
|
# isHidden: true
|
||
|
|
kind: article
|
||
|
|
menupriority: 1
|
||
|
|
date: 2009-08-17T14:00:00+02:00
|
||
|
|
title: Git remote branch creation
|
||
|
|
multiTitle:
|
||
|
|
fr: Création de branches avec Git
|
||
|
|
en: Git branch Creation
|
||
|
|
multiDescription:
|
||
|
|
fr: J'utilise Git pour synchroniser des projets personnels. C'est pourquoi quand je crée une branche locale je souhaite quasiment toujours qu'elle soit aussi créée en <em>externe</em> (remote).<br/>Voici le script que j'utilise pour accomplir cette tâche ...
|
||
|
|
en: I use git to synchronize personnal projects. Therefore, most of time, when I create a local branch I want it to be created remotely.<br/>Here is the script I use to achieve that…
|
||
|
|
tags:
|
||
|
|
- git
|
||
|
|
- branch
|
||
|
|
- local
|
||
|
|
- remote
|
||
|
|
|
||
|
|
-----
|
||
|
|
|
||
|
|
## Créer une branche Git externe facilement
|
||
|
|
|
||
|
|
|
||
|
|
J'utilise Git pour synchroniser des projets personnels.
|
||
|
|
C'est pourquoi quand je crée une branche locale je souhaite quasiment toujours qu'elle soit aussi créée en *externe* (remote).
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
Voici le script que j'utilise pour accomplir cette tâche :
|
||
|
|
|
||
|
|
|
||
|
|
<div>
|
||
|
|
<code class="zsh" file="git-create-new-branch.sh">
|
||
|
|
#!/usr/bin/env zsh
|
||
|
|
|
||
|
|
if (($#<1)); then
|
||
|
|
print -- "usage: $0:t branch_name" >&2
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
|
||
|
|
branch=$1
|
||
|
|
git br ${branch}
|
||
|
|
git co ${branch}
|
||
|
|
git config branch.${branch}.remote origin
|
||
|
|
git config branch.${branch}.merge refs/heads/${branch}
|
||
|
|
</code>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
Bien sûr, je suppose qu'<code>origin</code> est déjà configurée.
|
||
|
|
|