tmp/tmp53xa75eo/{from.md → to.md}
RENAMED
|
@@ -44,11 +44,11 @@ group [[fs.enum.copy.opts]] is set in `options`.
|
|
| 44 |
Effects are then as follows:
|
| 45 |
|
| 46 |
- If `f.type()` or `t.type()` is an implementation-defined file
|
| 47 |
type [[fs.enum.file.type]], then the effects are
|
| 48 |
*implementation-defined*.
|
| 49 |
-
- Otherwise, an error is reported as specified in [[fs.err.report]] if
|
| 50 |
- `exists(f)` is `false`, or
|
| 51 |
- `equivalent(from, to)` is `true`, or
|
| 52 |
- `is_other(f) || is_other(t)` is `true`, or
|
| 53 |
- `is_directory(f) && is_regular_file(t)` is `true`.
|
| 54 |
- Otherwise, if `is_symlink(f)`, then:
|
|
@@ -111,21 +111,21 @@ applicable.
|
|
| 111 |
|
| 112 |
[*Example 1*:
|
| 113 |
|
| 114 |
Given this directory structure:
|
| 115 |
|
| 116 |
-
```
|
| 117 |
/dir1
|
| 118 |
file1
|
| 119 |
file2
|
| 120 |
dir2
|
| 121 |
file3
|
| 122 |
```
|
| 123 |
|
| 124 |
Calling `copy("/dir1", "/dir3")` would result in:
|
| 125 |
|
| 126 |
-
```
|
| 127 |
/dir1
|
| 128 |
file1
|
| 129 |
file2
|
| 130 |
dir2
|
| 131 |
file3
|
|
@@ -135,11 +135,11 @@ Calling `copy("/dir1", "/dir3")` would result in:
|
|
| 135 |
```
|
| 136 |
|
| 137 |
Alternatively, calling `copy("/dir1", "/dir3", copy_options::recursive)`
|
| 138 |
would result in:
|
| 139 |
|
| 140 |
-
```
|
| 141 |
/dir1
|
| 142 |
file1
|
| 143 |
file2
|
| 144 |
dir2
|
| 145 |
file3
|
|
|
|
| 44 |
Effects are then as follows:
|
| 45 |
|
| 46 |
- If `f.type()` or `t.type()` is an implementation-defined file
|
| 47 |
type [[fs.enum.file.type]], then the effects are
|
| 48 |
*implementation-defined*.
|
| 49 |
+
- Otherwise, an error is reported as specified in [[fs.err.report]] if
|
| 50 |
- `exists(f)` is `false`, or
|
| 51 |
- `equivalent(from, to)` is `true`, or
|
| 52 |
- `is_other(f) || is_other(t)` is `true`, or
|
| 53 |
- `is_directory(f) && is_regular_file(t)` is `true`.
|
| 54 |
- Otherwise, if `is_symlink(f)`, then:
|
|
|
|
| 111 |
|
| 112 |
[*Example 1*:
|
| 113 |
|
| 114 |
Given this directory structure:
|
| 115 |
|
| 116 |
+
``` text
|
| 117 |
/dir1
|
| 118 |
file1
|
| 119 |
file2
|
| 120 |
dir2
|
| 121 |
file3
|
| 122 |
```
|
| 123 |
|
| 124 |
Calling `copy("/dir1", "/dir3")` would result in:
|
| 125 |
|
| 126 |
+
``` text
|
| 127 |
/dir1
|
| 128 |
file1
|
| 129 |
file2
|
| 130 |
dir2
|
| 131 |
file3
|
|
|
|
| 135 |
```
|
| 136 |
|
| 137 |
Alternatively, calling `copy("/dir1", "/dir3", copy_options::recursive)`
|
| 138 |
would result in:
|
| 139 |
|
| 140 |
+
``` text
|
| 141 |
/dir1
|
| 142 |
file1
|
| 143 |
file2
|
| 144 |
dir2
|
| 145 |
file3
|