drkdidel.be

Cacher la barre de Vimperator

Copiez dans votre fichier de configuration (par exemple ~/.vimperatorrc), le morceau de code suivant:

map <silent> <C-F8> :js toggle_bottombar()<CR>

:js << EOF
function toggle_bottombar() {
  var bb = document.getElementById('liberator-bottombar');
  if (!bb)
    return;
  bb.style.height = (bb.style.height == '') ? '0px' : '';
  bb.style.overflow = (bb.style.height == '') ? '' : 'hidden';
}
EOF

Redémarrez Firefox, puis tapez les touches «ctrl» et «F8» pour masquer ou afficher la barre. Notez que la barre doit être visible lorsque vous voulez exécuter des commandes.

[EN] Source

MariaDB (MySQL): connaître la «collation» d'une base de données

Ouvrez la console MariaDB et tapez:

> SELECT DEFAULT_COLLATION_NAME FROM information_schema.SCHEMATA WHERE SCHEMA_NAME = 'databaseName' LIMIT 1;

Dans cet exemple, la «collation» utilisée pour la base nommée «databaseName» est «utf8_general_ci».

+------------------------+
| DEFAULT_COLLATION_NAME |
+------------------------+
| utf8_general_ci        |
+------------------------+

Git: faire un «push» d'un «tag» vers une branche distante déjà  à  jour

J'ai commencé à utiliser les «tags» il y a quelques semaines, après avoir lu [EN] «A successful Git branching model».

Pour faire un «push» d'un «tag» spécifique appelé «0.1» sur la branche «origin»:

$ git push origin 0.1

La commande suivante fait un «push» de tous les «tags»:

$ git push --tags

Note: j'avais commencé à me prendre la tête pour traduire tous les termes de Git en français, mais il me semble plus pertinent de rester fidèle aux termes originaux afin d'éviter toute confusion.

[EN] Push a tag to a remote repository using Git?