Remove files from server that are now marked as 'ignored'

Hi,

I’ve migrated a lot of files (>200G) from another cloud solution to nextcloud. To save some storage space I now want to remove some files from the server that have already been synchronized. I do want to keep those files on the clients though. I have added the respective file extension as a ‘ignored file pattern’ but I’m not quite sure how I can safely delete the files from the server without affecting the clients?

I’d move them outside the client folder, just to be sure. In theory it should work. But then you must be very careful, e.g. that the ignore list is not overwritten during updates of the client. However, I’m not sure how well such scenarios are tested.