{"action":"closed","issue":{"url":"https://api.github.com/repos/haiwen/seafile/issues/893","repository_url":"https://api.github.com/repos/haiwen/seafile","labels_url":"https://api.github.com/repos/haiwen/seafile/issues/893/labels{/name}","comments_url":"https://api.github.com/repos/haiwen/seafile/issues/893/comments","events_url":"https://api.github.com/repos/haiwen/seafile/issues/893/events","html_url":"https://github.com/haiwen/seafile/issues/893","id":46071254,"number":893,"title":"deleting a local file after adding it to seafile-ignore.txt, should not delete it from the server","user":{"login":"dportabella","id":976546,"avatar_url":"https://avatars.githubusercontent.com/u/976546?v=3","gravatar_id":"","url":"https://api.github.com/users/dportabella","html_url":"https://github.com/dportabella","followers_url":"https://api.github.com/users/dportabella/followers","following_url":"https://api.github.com/users/dportabella/following{/other_user}","gists_url":"https://api.github.com/users/dportabella/gists{/gist_id}","starred_url":"https://api.github.com/users/dportabella/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dportabella/subscriptions","organizations_url":"https://api.github.com/users/dportabella/orgs","repos_url":"https://api.github.com/users/dportabella/repos","events_url":"https://api.github.com/users/dportabella/events{/privacy}","received_events_url":"https://api.github.com/users/dportabella/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2014-10-17T07:35:30Z","updated_at":"2016-02-15T07:57:22Z","closed_at":"2016-02-15T07:57:22Z","body":"Use case: I want to upload a big file to the server, but once uploaded, I don't want to keep it in my local computer.\r\nI could use the web page to upload the file, but I prefer to simply put the file into my Seafile folder, wait for it to be uploaded and then remove it. Why? because it is convinient: I can easily upload a big file, or a lot of files, shutdown the computer even in the middle of the upload, and Seafile will make sure that it eventually gets to the server (much better than using the web page).\r\n\r\nSo, I create a file named \"video.mpg\" in my Seafile folder, and it gets uploaded to the server.\r\nthen I add \"video.mpg\" to seafile-ignore.txt.\r\nthen I delete \"video.mpg\" from my computer (to free some space in my computer)\r\n\r\nat this point, Seafile also deletes the \"video.mpg\" file from the server.\r\nwhy?\r\nhow can I avoid that Seafile deletes this file from the server, once it has been added to seafile-ignore.txt?\r\n"}}