#!/bin/bash
# visualisation de tous les fichiers socket et log locaux
# qui vous appartiennent

hn=`whoami`
echo Le user identifier de $hn est $UID
res_ld=`ls -l /tmp/pvm* | grep pvmd | grep $hn | grep -v grep | awk '{print $9}'`
res_lm=`ls -l /tmp/pvm* | grep pvml | grep $hn | grep -v grep | awk '{print $9}'`
echo Liste des fichiers /tmp/pvmd.$UID puis /tmp/pvml.$UID :
echo $res_ld
echo $res_lm