diff options
Diffstat (limited to 'user-profiles')
| -rw-r--r-- | user-profiles/mpv/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/user-profiles/mpv/default.nix b/user-profiles/mpv/default.nix index 8fc38edd..2df87994 100644 --- a/user-profiles/mpv/default.nix +++ b/user-profiles/mpv/default.nix | |||
| @@ -91,7 +91,8 @@ | |||
| 91 | mp.commandv('quit', '4') | 91 | mp.commandv('quit', '4') |
| 92 | end) | 92 | end) |
| 93 | mp.register_event('end-file', function(params) | 93 | mp.register_event('end-file', function(params) |
| 94 | if (params.reason == 'eof' or (do_del and params.reason == 'quit')) and del_path ~= ''' then | 94 | print('end-file: '..params.reason..', '..tostring(do_del)..', '..del_path) |
| 95 | if (params.reason == 'eof' or params.reason == 'stop' or (do_del and params.reason == 'quit')) and del_path ~= ''' then | ||
| 95 | print('deleting: '..del_path) | 96 | print('deleting: '..del_path) |
| 96 | os.remove(del_path) | 97 | os.remove(del_path) |
| 97 | end | 98 | end |