On chronomètre linusque
12/07/2004
[17:58] 16:32 < Ge-Boulot> make mrproper && make defconfig && time –verbose
[17:58] –output=/www/smartgeek.net/default/www/make/debian01.txt
[17:58] 16:32 < Ge-Boulot> make mrproper && make defconfig && time –verbose
[17:58] –output=/www/smartgeek.net/default/www/make/debian01.txt
Pourrait être utile (à cronner toutes les dix minutes):
#!/bin/sh
DETECTION= »kbear »
COMMANDE= »kbear »
ps aux | grep -v grep | grep $DETECTION >/dev/null 2>&1
if [ $? -ne 0 ] ; then
# restart program
echo « Restarting $DETECTION »
#export « DISPLAY=:0.0″
kbear
else
[...]