wiki_users.new 885 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
#!/bin/bash

if [ "$1" = "config" ]; then

        echo 'host_name web.rouge'
	echo 'graph_category wiki'
	echo 'graph_title Utilisateurs wiki'
	echo 'graph_args --base 1000 --lower-limit 0'
	echo "graph_vlabel nombre d'utilisateurs"
	echo 'enregistres.label Nb enregistrs'
	echo 'enregistres.draw AREA'
	echo 'favoris.label Nb avec favoris'
	exit 0
fi

wikinoms=( $(grep -h -i -E '^name=' /var/local/wiki/data/user/* | sed 's/name=//g') )

wikipages=0

for nom in $(seq 0 $((${#wikinoms[@]} - 1)))
do 
  echo "/var/local/wiki/data/pages/${wikinom[$nom]}"
  if [ -e "/var/local/wiki/data/pages/$nom" ]
  then
    echo $nom
    let "wikipages+=1"
  fi
done

echo $wikipages

echo "enregistres.value" `ls /var/local/wiki/data/user/ | grep -E '^[0-9]+\.[0-9]+\.[0-9]+$' | wc -l`
echo "favoris.value" `ls /var/local/wiki/data/user/ | grep -E '^[0-9]+\.[0-9]+\.[0-9]+\.bookmark$' | wc -l`