[Summary view] [Print] [Text view]

   1  #!/bin/bash
   2  # copier un devoir d'élève dans un rép du home de son prof
   3  # paramètres : $login $id_dev $date_distrib $uid $classe
   4  login=$1
   5  id_devoir=$2
   6  nom_devoir=$3
   7  uid=$4
   8  classe=$5
   9  
  10  cd "/var/se3/Classes/$classe/$uid/$id_devoir"
  11  # rep="/home/$login/Devoirs/$devoir-$dat"
  12  rep="/home/$login/Devoirs/$id_devoir"
  13  for fich in *
  14  do
  15     # éliminer la dernière extension éventuelle des noms de fichiers $i
  16     nom=$fich%.*}
  17  #   if [ $nom = $devoir ]
  18     nom_maj=$(echo $nom | tr 'a-z' 'A-Z') 
  19     nom_devoir_maj=$(echo $nom_devoir | tr 'a-z' 'A-Z')
  20  #   if [ $nom_maj = "DEVOIR" ]
  21     if [ $nom_maj = $nom_devoir_maj ]
  22     then
  23       ext=$fich#$nom}
  24       dest="$rep/$uid$ext"
  25       cp  $fich $dest
  26     # mettre les droits de propriété
  27       chown $login $dest
  28       chmod 700 $dest
  29       [ -f $dest ] && echo 1
  30     fi
  31  done