You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I recently tried to run sh run.sh make update_repo but got a permission denied error when the script tried to remove files on the second run (see console output below).
I'm not sure if the script has completed successfully so I don't want to merge these changes until I know that's the case. If all I need to do is delete these files manually, then that's fine.
Note that I'm running Docker in rootless mode, which might be part of the problem.
I ran the update_repo command twice following the instructions given here:
Now run the update command TWICE (the first time it may fail, as the update command needs to update itself).
I'm not sure if the script has completed successfully
Most likely, yes.
To check, you can try generating a diff of all changed files in the repository. Post that diff here and we’ll be able to tell you whether everything that should have changed has indeed changed.
I recently tried to run
sh run.sh make update_repo
but got a permission denied error when the script tried to remove files on the second run (see console output below).I'm not sure if the script has completed successfully so I don't want to merge these changes until I know that's the case. If all I need to do is delete these files manually, then that's fine.
Note that I'm running Docker in rootless mode, which might be part of the problem.
I ran the update_repo command twice following the instructions given here:
Here's the output from the first run:
Then the second run, where the error happens:
The text was updated successfully, but these errors were encountered: