文件夹复制 (win&linux皆可)
Libérer： 2016-07-25 09:06:48
original
974 Les gens l'ont consulté
复制文件夹到另一个地方。
/**
- /**
- * 复制文件夹
- eg:将D:/wwwroot/下面wordpress复制到
- D:/wwwroot/www/explorer/0000/del/1/
- 末尾都不需要加斜杠，复制到地址如果不加源文件夹名，
- 就会将wordpress下面文件复制到D:/wwwroot/www/explorer/0000/del/1/下面
- * $from = 'D:/wwwroot/wordpress';
- * $to = 'D:/wwwroot/www/explorer/0000/del/1/wordpress';
- */
-
- function copy_dir($source, $dest){
- $result = false;
- if (is_file($source)) {
- if ($dest[strlen($dest)-1] == '/') {
- $__dest = $dest . "/" . basename($source);
- } else {
- $__dest = $dest;
- }
- $result = @copy($source, $__dest);
- //echo iconv( $config['app_charset'],$config['system_charset'], $source);
- @chmod($__dest, 0755);
- }elseif (is_dir($source)) {
- if ($dest[strlen($dest)-1] == '/') {
- $dest = $dest . basename($source);
- @mkdir($dest);
- @chmod($dest, 0755);
- } else {
- @mkdir($dest, 0755);
- @chmod($dest, 0755);
- }
- $dirHandle = opendir($source);
- while ($file = readdir($dirHandle)) {
- if ($file != "." && $file != "..") {
- if (!is_dir($source . "/" . $file)) {
- $__dest = $dest . "/" . $file;
- } else {
- $__dest = $dest . "/" . $file;
- }
- $result = copy_dir($source . "/" . $file, $__dest);
- }
- }
- closedir($dirHandle);
- } else {
- $result = false;
- }
- return $result;
- }
-
|
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Derniers articles par auteur
-
2024-10-22 09:46:29
-
2024-10-13 13:53:41
-
2024-10-12 12:15:51
-
2024-10-11 22:47:31
-
2024-10-11 19:36:51
-
2024-10-11 15:50:41
-
2024-10-11 15:07:41
-
2024-10-11 14:21:21
-
2024-10-11 12:59:11
-
2024-10-11 12:17:31
![[Web front-end] Démarrage rapide de Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
