Skip to content

Instantly share code, notes, and snippets.

Cédric MORIN Cerdic

View GitHub Profile
@Cerdic
Cerdic / PHPStorm CodeStyle SPIP
Created Dec 13, 2015
Règles de formatage de code pour SPIP dans PHPStorm selon http://www.spip.net/fr_article3497.html#regles_c13:23
View PHPStorm CodeStyle SPIP
<code_scheme name="SPIP">
<option name="OTHER_INDENT_OPTIONS">
<value>
<option name="INDENT_SIZE" value="2" />
<option name="CONTINUATION_INDENT_SIZE" value="8" />
<option name="TAB_SIZE" value="2" />
<option name="USE_TAB_CHARACTER" value="true" />
<option name="SMART_TABS" value="false" />
<option name="LABEL_INDENT_SIZE" value="0" />
<option name="LABEL_INDENT_ABSOLUTE" value="false" />
@Cerdic
Cerdic / site-active-plugin.php
Last active Dec 18, 2015
Permet d'activer des plugins d'un site SPIP depuis la ligne de commande. Lancer le script depuis la racine du site ou depuis ecrire/ ou plugins/
View site-active-plugin.php
#!/usr/bin/php
<?php
$activer = $argv;
array_shift($activer);
if (!is_dir('ecrire/') AND is_dir('../ecrire/')) chdir('../');
chdir('ecrire/');
if (!defined('_DIR_RESTREINT_ABS')) define('_DIR_RESTREINT_ABS', '');
@Cerdic
Cerdic / site-desactive-plugin.php
Last active Dec 18, 2015
Desactiver des plugins d'un site SPIP depuis la ligne de commande. Lancer le script depuis la racine du site SPIP, ou depuis le dossier ecrire/ ou le dossier plugins/
View site-desactive-plugin.php
#!/usr/bin/php
<?php
$desactiver = $argv;
array_shift($desactiver);
if (!is_dir('ecrire/') AND is_dir('../ecrire/')) chdir('../');
chdir('ecrire/');
if (!defined('_DIR_RESTREINT_ABS')) define('_DIR_RESTREINT_ABS', '');
@Cerdic
Cerdic / cherry-pick.php
Last active Dec 16, 2015
Mon cherry-pick pour svn
View cherry-pick.php
#!/usr/bin/php
<?php
// Report d'un commit d'un repertoire sur un autre
// le script fait le merge svn et prepare le log de comit dans log.txt
// mais ne fait pas le commit automatiquement car risque de conflits
// il faut le faire suivre de la commande comit manuelle si le diff est OK
// Syntaxe :
// cherry-pick.php -rNNNN source dest
//
// exemple d'utilisation :
View Notes gitsession
##Je me suis trompé
git commit --amend
permet de reprendre le dernier commit
en fait c'est equivalent a :
git reset HEAD^
qui revient a l'avant dernier commit et renvoie le diff dans le working tree
puis
git commit
@Cerdic
Cerdic / GitSession
Created Feb 19, 2011
Notes pendant l'atelier #gitattitude
View GitSession
En premier lieu, se faire un prompt git personalisé "qui tue sa mère" :
cedric$ ls /usr/local/git/contrib/completion/
cedric$ cp /usr/local/git/contrib/completion/git-completion.bash ~/.git-completion.bash
nano ~/.profile
et ajouter à la fin les lignes
source ~/.git-completion.bash
export GIT_PS1_SHOWDIRTYSTATE=1 GIT_PS1_SHOWSTASHSTATE=1 GIT_PS1_SHOWUNTRACKEDFILES=1
export PS1='\[\033[35m\u@\h:\033[36m\W\[\033[0m\033[33m$(__git_ps1 " (%s)")\033[0m\$ '
Du coup dans un repo git le prompt indique la branche, l'etat :
You can’t perform that action at this time.