code
code copied to clipboard
fix(theseus): deleting logs files
Currently when trying to delete logs you get a error
An error occurred
I/O error: Not a directory (os error 20), path: /home/tobinio/.config/com.modrinth.theseus/profiles/testing 1.20.5/logs/2024-05-21-1.log.gz
since it tries to remove a directory but its a file.
note: not sure if this is a linux only problem
reopen of #1200