Skip to content

Instantly share code, notes, and snippets.

@Cerdic
Cerdic / PHPStorm CodeStyle SPIP
Created December 13, 2015 12:52
Règles de formatage de code pour SPIP dans PHPStorm selon http://www.spip.net/fr_article3497.html#regles_c13:23
<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 December 18, 2015 21:38
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/
#!/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 December 18, 2015 21:38
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/
#!/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 December 16, 2015 22:39
Mon cherry-pick pour svn
#!/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 :
##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 February 19, 2011 09:08
Notes pendant l'atelier #gitattitude
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 :