Git permet trés facilement de créer des patchs entre plusieurs commits / branches / tags. À la base, on peut utiliser la commande git-format-patch, mais la patch généré est prévu pour être envoyé par email, et contient des données parasites. En fait, pourquoi faire compliqué ? Utilisons tout simplement la commande git-diff, qui génère déjà une [...]
Voici l’horreur du jour. Un bon point au premier qui trouve ce que signifie ce code : {if and(or($year_end|gt($currentyear), and($year_end|eq($currentyear), $month_end|gt($currentmonth)), and($year_end|eq($currentyear),$month_end|eq($currentmonth), $day_end|gt($currentday)), and($year_end|eq($currentyear), $month_end|eq($currentmonth), $day_end|eq($currentday), $hour_end|gt($currenthour)), and($year_end|eq($currentyear), $month_end|eq($currentmonth), $day_end|eq($currentday), $hour_end|eq($currenthour), $min_end|ge($currentmin))), or($year_begin|lt($currentyear), and($year_begin|eq($currentyear), $month_begin|lt($currentmonth)), and($year_begin|eq($currentyear), $month_begin|eq($currentmonth), $day_begin|lt($currentday)), and($year_begin|eq($currentyear), $month_begin|eq($currentmonth), $day_begin|eq($currentday), $hour_begin|lt($currenthour)), and($year_begin|eq($currentyear), $month_begin|eq($currentmonth), $day_begin|eq($currentday), $hour_begin|eq($currenthour), $min_begin|le($currentmin))))} { $temp = 1} { else } { $temp [...]
Il arrive qu’on veuille ajouter des droits d’exécution pour tous les sous-répertoires d’une arborescence. La commande naïve : chmod -R a+x <chemin> présente un problème : elle ajoute également les droits d’exécution à tous les fichiers plats. Pour éviter cela, on utilisera plutôt : chmod -R a+X <chemin> Le X majuscule n’ajoute le droit d’exécution qu’aux fichiers qui [...]
Une idée de nouveau service web qui m’est venue en fin de journée, alors que je rentrais chez moi sur mon vélo, en pestant comme d’hab’ contre les mauvais conducteurs. Ce site s’appelerait « Notez ma conduite », il permettrait à des personnes de laisser des commentaires sur la bonne ou mauvaise conduite des autres conducteurs. Les [...]
Les débutants qui veulent remettre à zéro une table MySQL (c’est à dire, supprimer tous les enregistrements pour obtenir une table vide), utilisent souvent la commande : DELETE FROM <table> Il est plus propre d’utiliser la commande : TRUNCATE TABLE <table> Cette commande est bien plus rapide, et réinitialise complètement la table (auto_increment à 0). Attention, toutefois, [...]
Vous cherchez comment cloner / copier / dupliquer une table MySQL ? Facile. Connectez vous à la base, et utilisez la commande : SHOW CREATE TABLE <nom de la table>; MySQL va vous afficher la commande utilisée pour créer la structure de la table. Utilisez cette commande, en changeant le nom, pour créer une nouvelle table à [...]