<?php
//#$dir_search=$_GET['dir'];
$name_search=$_GET['name'];
//Pfad und die Datei selbst
$file="search.sh";
//wenn die Datei nicht existiert... dann
//if( !file_exists($file)) {
$fp = fopen($file, "w"); // ("r" - lesen, "w" - erstellen, "a" - anhängen), wir erstellen die Datei
fwrite($fp, "#!bin/bash\n grep -lr '".$name_search."' ./ > ok.txt");
//fwrite($fp, "grep -lr '".$name_search." ".$dir_search." > ok.txt");
fclose ($fp);
exec ("sh ".$file);
//}
?>
