<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
Hello,
<div class=""><br class="">
</div>
<div class="">Thanks for looking into this! While I do have the current OneDrive you mention: 22.022.0130.0002, the trash aux problem (of doing nothing) still exists. I tried rebooting, updating everything on Tex Live and not just pausing, but quitting OneDrive.
The issue persists. I am using macOs 12.2.1, i.e. the current release not the candidate. If the next Os release fixes this problem for me, as it did for you, I’ll be very happy. I guess the best thing to do is wait.</div>
<div class=""><br class="">
</div>
<div class="">I do also appreciate that this is very much my problem not yours, so I do really appreciate looking into it. I can look into workarounds in the meantime, shell scripts, etc. I’m also happy to answer questions or do other tests if it’s something
that would help others.</div>
<div class=""><br class="">
</div>
<div class="">Best regards,</div>
<div class="">Andrew</div>
<div class=""><br class="">
</div>
<div class="">
<div class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
=======================================<br class="">
Dr. Andrew N. Youdin<br class="">
Associate Professor</div>
<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
Departments of Astronomy and Planetary Sciences<br class="">
Steward Observatory, Office N418 <br class="">
University of Arizona<br class="">
=======================================</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<div><br class="">
<blockquote type="cite" class="">
<div class="">On Mar 9, 2022, at 9:51 AM, Bruno Voisin <<a href="mailto:bvoisin@icloud.com" class="">bvoisin@icloud.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div class="">External Email<br class="">
<br class="">
<blockquote type="cite" class="">Le 7 mars 2022 à 17:13, Bruno Voisin via texshop <<a href="mailto:texshop@tug.org" class="">texshop@tug.org</a>> a écrit :<br class="">
<br class="">
<blockquote type="cite" class="">On 7 Mar 2022, at 09:56, Youdin, Andrew - (youdin) <<a href="mailto:youdin@arizona.edu" class="">youdin@arizona.edu</a>> wrote:<br class="">
<br class="">
Recently I lost the ability to trash aux files for files that are in a OneDrive folder (the Microsoft cloud service that my university provides). <br class="">
</blockquote>
<br class="">
The updated OneDrive app, described in the last link, is version 22.033, while the current version seems to be 22.022.0130.<br class="">
</blockquote>
<br class="">
The new version of OneDrive, 22.033.0213, seems to solve the problem (including on macOS 12.3 Release Candidate). Do you see the same?<br class="">
<br class="">
On my setup One Drive was updated silently yesterday, as I have "Install app updates from the App Store" checked in System Preferences > Software Update > Advanced. Depending on your setup, if it's not checked, you may have to trigger the update manually.<br class="">
<br class="">
Bruno Voisin<br class="">
<br class="">
</div>
</div>
</blockquote>
</div>
<br class="">
</div>
</body>
</html>