".gettext("Déploiement de fichiers")."
";
echo "";
echo "".gettext("Répertoire dans lequel sera effectuée la copie :")."
";
$chemininit="/etc/skel/user";
if($path=="") {
$chemin=$chemininit;
}
if($repsup==1) {
$repinf=substr("$repinf",0,-1);
$ici=$repinf;
$repinf=explode("/",$repinf);
$repinf=end($repinf);
$ici=preg_replace("/$repinf/","",$ici);
$test=$ici;
$test=substr("$test",0,-1);
} else {
$ici=$chemin;
$ici.=$path;
$test=$ici;
$ici.="/";
}
if($test!=$chemininit) {
echo "".gettext("Répertoire parent")."
";
}
$repsup=0;
exec ("/usr/bin/sudo /usr/share/se3/scripts/ls.sh \"$ici\"");
$rep = file ("/tmp/resultat");
for ($i=0 ; $i < count ($rep); $i++) {
echo "$rep[$i]
";
}
$test=substr("$ici",0,-1);
$type="répertoire";
exec ("/usr/bin/sudo /usr/share/se3/scripts/testfichier.sh \"$test\"");
$fich = file ("/tmp/testfichier.tmp");
$fich = trim($fich[0]);
if ($fich == "oui"){
$type="fichier";
}
$repertoire=$test;
$repertoire=substr($repertoire,14);
if ($fich == "oui"){
echo "
".gettext("Attention vous n'avez pas sélectionné un répertoire")."";
} else echo "
".gettext("Le ")."$type".gettext(" sélectionné est :")."/home$repertoire";
?>
";
}//fin is_admin
else echo gettext("Vous n'avez pas les droits nécessaires pour ouvrir cette page...");
include ("pdp.inc.php");
?>