Update plat_other.py

The trash info file needs to exist before the file is moved into the trash folder. 
This is to conform to the events based detection of trashed files in gnome and other file managers.
This commit is contained in:
Magnus Møller Jørgensen 2020-07-23 03:57:15 +02:00 committato da GitHub
parent 49bc438546
commit 20bbab0b4c
Non sono state trovate chiavi note per questa firma nel database
ID Chiave GPG: 4AEE18F83AFDEB23
1 ha cambiato i file con 2 aggiunte e 2 eliminazioni

Vedi File

@ -110,11 +110,11 @@ def trash_move(src, dst, topdir=None):
check_create(filespath)
check_create(infopath)
os.rename(src, op.join(filespath, destname))
f = open(op.join(infopath, destname + INFO_SUFFIX), "w")
f.write(info_for(src, topdir))
f.close()
os.rename(src, op.join(filespath, destname))
def find_mount_point(path):