Accueil

Après avoir longuement utilisé Docker, il se peut que vous vous retrouviez avec une multitude d'images inutilisées. En soi, ces images n'entravent en rien le fonctionnement de vos sites et applications web. En revanche, elles peuvent prendre beaucoup de places sur votre espace disque. Pour les supprimer, voici la commande :

 docker rmi $(docker images -f "dangling=true" -q)

Cette requête SQL va permettre de voir toutes les clés étrangères d'une colonne spécifique :

SELECT 
  TABLE_NAME,COLUMN_NAME,CONSTRAINT_NAME, REFERENCED_TABLE_NAME,REFERENCED_COLUMN_NAME
FROM
  INFORMATION_SCHEMA.KEY_COLUMN_USAGE
WHERE
  REFERENCED_TABLE_SCHEMA = '<database>' AND
  REFERENCED_TABLE_NAME = '<table>' AND
  REFERENCED_COLUMN_NAME = '<column>';

Pour récupérer toutes les clés étrangères d'une table :

SELECT 
  TABLE_NAME,COLUMN_NAME,CONSTRAINT_NAME, REFERENCED_TABLE_NAME,REFERENCED_COLUMN_NAME
FROM
  INFORMATION_SCHEMA.KEY_COLUMN_USAGE
WHERE
  REFERENCED_TABLE_SCHEMA = '<database>' AND
  REFERENCED_TABLE_NAME = '<table>';

1. Editer le fichier .gitignore.

   echo mylogfile.log >> .gitignore

2. Supprimer tous les éléments de l'index.

   git rm -r -f --cached .

3. Reconstruire l'index.

   git add .

4. Faire un nouveau commit

   git commit -m "Removed mylogfile.log"