ホームページ  >  記事  >  バックエンド開発  >  サーバー上のファイルの名前を変更するにはどうすればよいですか?

サーバー上のファイルの名前を変更するにはどうすればよいですか?

WBOY
WBOYオリジナル
2016-06-23 14:03:221603ブラウズ

public_html/login/paypal logo.png ファイルに

現在の要件は、

paypal logo.png ??》 paypal-logo.png を配置するプログラムを作成することです

どのように行うか?


ディスカッションに返信 (解決策)

rename('paypal logo.png', 'paypal-logo.png')


$file_name='paypal logo.png'


$file_new_name=str_replace (' ','_',$file_name);

rename($file_name,$file_new_name);

$file_name='paypal logo.png'


$file_new_name=str_replace(' ','-',$ファイル名);

名前を変更($ファイル名,$新しいファイル名);

声明:
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
前の記事:ボタン列を検出次の記事:ボタン列を検出