www字典优化脚本_PHP教程

WBOY
Freigeben: 2016-07-13 17:47:02
Original
1005 Leute haben es durchsucht

error_reporting(0);

echo"\n"."输入要整理的字典:"."\n";

$dic=trim(fgets(STDIN));

 

/***************************************

*字典优化工具lostwolf

* 去除字典重复 在每段数据前加斜杠并去除多余斜杠

*

* *************************************/

 

 

 

 

 

$file=file($dic);

 

$array=preg_replace('/($\s*$)|(^\s*^)/m','',$file); //消除空行

 

foreach ($arrayas$key=>$r){

       

        $array[$key]=trim("/$r"); //添加斜杠 并去除空白字符

      

}

 

$new_array=preg_replace('#^([/]*)#','/',$array); //将开头多个斜杠替换成一个

 

$new_array1=array_values(array_unique($new_array));//消除重复行

 

if(file_put_contents('new_file.txt',join("\r\n",$new_array1))){

        echo"------------------------------------------"."\r\n";

        echo"\n"."整理完毕!"."\r\n" ;

        echo"生成的字典文件为:"."\r\n";

        echodirname(__FILE__).DIRECTORY_SEPARATOR."new_file.txt"."\r\n";

        echo"------------------------------------------"."\r\n";

}

 

else{  

        echo"------------------------------------------"."\r\n";

        echo"错误!"."\r\n";

        echo"找不到文件!请检查是否存在该字典!"."\r\n";

        echo"------------------------------------------"."\r\n";

}

 

 

?>

www.bkjia.comtruehttp://www.bkjia.com/PHPjc/478532.htmlTechArticle?php error_reporting(0); echo\n.输入要整理的字典:.\n; $dic=trim(fgets(STDIN)); /*************************************** *字典优化工具lostwolf * 去除字典重复 在每...
Verwandte Etiketten:
Quelle:php.cn
Erklärung dieser Website
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn
Beliebte Tutorials
Mehr>
Neueste Downloads
Mehr>
Web-Effekte
Quellcode der Website
Website-Materialien
Frontend-Vorlage
Über uns Haftungsausschluss Sitemap
Chinesische PHP-Website:Online-PHP-Schulung für das Gemeinwohl,Helfen Sie PHP-Lernenden, sich schnell weiterzuentwickeln!