diff options
| author | Noah Too <krivahtoo@gmail.com> | 2023-01-27 15:56:39 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-27 07:56:39 -0500 |
| commit | c8e212eaadb59b7a5cb0ad70dd172461796d24a9 (patch) | |
| tree | 4b1f5ca09033fa1073ea2b95805e7220d6ad483d /src/key_command/command.rs | |
| parent | 699266bb84237fd20253475d69d7c02895595309 (diff) | |
add option to override deleting to trash (#249)
add `--permanently` option to `delete_files` command to delete
files permanently when `use_trash` is `true`.
Diffstat (limited to 'src/key_command/command.rs')
| -rw-r--r-- | src/key_command/command.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/key_command/command.rs b/src/key_command/command.rs index d31aea6..43dee2f 100644 --- a/src/key_command/command.rs +++ b/src/key_command/command.rs @@ -37,6 +37,7 @@ pub enum Command { DeleteFiles { background: bool, + permanently: bool, }, CursorMoveUp { |