Fix #687

Allow modifications in .shared folder
astrada · Jan 5, 2021 · 9084bdd · 9084bdd
1 parent 41b91ad
commit 9084bdd
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/src/drive.ml b/src/drive.ml
@@ -2298,7 +2298,6 @@ let create_remote_resource ?link_target is_folder path mode =
   let config = context |. Context.config_lens in
   if
     is_lost_and_found path trashed config
-    || is_shared_with_me path trashed config
   then raise Permission_denied;
 
   let cache = context.Context.cache in
@@ -2456,7 +2455,6 @@ let trash_resource is_folder trashed path =
   let config = context |. Context.config_lens in
   if
     is_lost_and_found path trashed config
-    || is_shared_with_me path trashed config
   then raise Permission_denied;
 
   let trash resource =
@@ -2558,10 +2556,6 @@ let rename path new_path =
     is_lost_and_found_root path trashed config
     || is_lost_and_found new_path target_trashed config
   then raise Permission_denied;
-  if
-    is_shared_with_me path trashed config
-    || is_shared_with_me new_path target_trashed config
-  then raise Permission_denied;
 
   let old_parent_path = Filename.dirname path_in_cache in
   let new_parent_path = Filename.dirname new_path_in_cache in