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

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

WBOY
リリース: 2016-06-23 14:03:22
オリジナル
1677 人が閲覧しました

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(' ','-',$ファイル名);

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

ソース:php.cn
このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
人気のチュートリアル
詳細>
最新のダウンロード
詳細>
ウェブエフェクト
公式サイト
サイト素材
フロントエンドテンプレート