diff --git a/TipsShell.md b/TipsShell.md index 6e96c6ba..b9795cd3 100644 --- a/TipsShell.md +++ b/TipsShell.md @@ -350,7 +350,7 @@ $ SEUIL=100; watch -n 5 -d "ps -e -o etimes=,user | sort -n | awk '{if (\$1<$SEU ### Par utilisateur ~~~{.bash} -for var in users1 users2; do echo '#' $var ':'; ps -u $var -o pid= | while read pid; do echo -n 'threads: ' "$(ps -p $pid -T | wc -l)" "; $(grep VmSize /proc/$pid/status)"; echo; vmsize=$(grep VmSize /proc/$pid/status | sed 's/^VmSize:\s*\([0-9]*\) kB/\1/'); done; done +for var in users1 users2; do echo '#' $var ':'; ps -u $var -o pid= | while read pid; do echo -n $pid ') threads: ' "$(ps -p $pid -T | wc -l)" "; $(grep VmSize /proc/$pid/status)"; echo; vmsize=$(grep VmSize /proc/$pid/status | sed 's/^VmSize:\s*\([0-9]*\) kB/\1/'); done; done ~~~ ## Fichiers ouverts