diff --git a/TipsShell.md b/TipsShell.md index dd928650..74951269 100644 --- a/TipsShell.md +++ b/TipsShell.md @@ -279,6 +279,23 @@ cat $TMP | (while read line; do num=$(echo $line | awk '{ print $1 }'); path=$(e rm $TMP ~~~ +### Comprendre pourquoi résultat d'un `df` ne correspond pas un `du` + +Si le résultat d'un `df` indique une occupation disque plus importante que lorsque on fait un `du -cx /to/path`, cela veut dire que sans doute un fichier a été supprimé mais est encore en lecture par un process. +On peut le rechercher en faisant : + +~~~{} +# lsof /var/ | grep deleted +~~~ + +Ce qui équivaut à + +~~~{} +# lsof -Fn | grep ^n/var/ | sed 's/^n//' | xargs -n1 -I file stat file | grep 'No such file or directory' +~~~ + +En tuant le process, la mémoire sur le disque devrait se «libérer» et être de nouveau disponible. + # Utilisateurs UNIX ## Créer HOME