diff options
| author | Jeff Zhao <jeff.no.zhao@gmail.com> | 2022-08-01 12:00:36 -0400 |
|---|---|---|
| committer | Jeff Zhao <jeff.no.zhao@gmail.com> | 2022-08-01 12:00:36 -0400 |
| commit | ee0dec521b73a4328660969c3be8454dc0bf73e8 (patch) | |
| tree | 7c13b7f82a0faf6c9116ddfdc8458b43289d63a0 /src/io | |
| parent | 7cb3e8be67621191a43d530a5a0a4e49baec26e0 (diff) | |
add delete_files with foreground option
Diffstat (limited to 'src/io')
| -rw-r--r-- | src/io/file_operation.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/io/file_operation.rs b/src/io/file_operation.rs index a0000f7..14693ec 100644 --- a/src/io/file_operation.rs +++ b/src/io/file_operation.rs @@ -10,6 +10,7 @@ pub struct FileOperationOptions { // cut, copy pub overwrite: bool, pub skip_exist: bool, + pub symlink: bool, // delete pub permanently: bool, |