Guida avanzata di scripting Bash - Portale Posta DMI

#+ stringa di lunghezza zero,
then # significa che nessun processo in esecuzione
#+ corrisponde al pid dato.
echo "Il processo non è in esecuzione."
exit $E_ERR_PROCESSO
fi
Capitolo 27. /dev e /proc
# In alternativa:
# if ! ps $1 > /dev/null 2>&1
# then # nessun processo in esecuzione corrisponde al pid dato.
# echo "Il processo non è in esecuzione."
# exit $E_ERR_PROCESSO
# fi
# Per semplificare l’intera procedura, si usa "pidof".
if [ ! -r "/proc/$1/$FILEPROC" ] # Controlla i permessi in lettura.
then
echo "Il processo $1 è in esecuzione, ma..."
echo "Non ho il permesso di lettura su /proc/$1/$FILEPROC."
exit $E_ERR_PERMESSO # Un utente ordinario non può accedere ad alcuni
#+ file di /proc.
fi
# Le due ultime verifiche possono essere sostituite da:
# if ! kill -0 $1 > /dev/null 2>&1 # ’0’ non è un segnale, ma
# verifica la possibilità
# di inviare un segnale al processo.
# then echo "Il PID non esiste o non sei il suo proprietario" >&2
# exit $E_ERR_PID
# fi
file_exe=$( ls -l /proc/$1 | grep "exe" | awk ’{ print $11 }’ )
# Oppure file_exe=$( ls -l /proc/$1/exe | awk ’{print $11}’ )
#
# /proc/numero-pid/exe è un link simbolico
#+ al nome completo del processo chiamante.
if [ -e "$file_exe" ] # Se /proc/numero-pid/exe esiste...
then # esiste anche il corrispondente processo.
echo "Il processo nr.$1 è stato invocato da $file_exe."
else
echo "Il processo non è in esecuzione."
fi
# Questo elaborato script si potrebbe *quasi* sostituire con
# ps ax | grep $1 | awk ’{ print $5 }’
# Questa forma, però, non funzionerebbe...
# perché il quinto campo di ’ps’ è l’argv[0] del processo,
# non il percorso del file eseguibile.
508