> On 26 Mar 2020, at 12:57, Moritz Heffter <mxo...@gmail.com> wrote: > > BTW, /opt is in read-only mode. I’m not able to remove it.
One may have to give the Terminal app permissions, which I did in the past, but it is not there now, so it may or may not be required. https://osxdaily.com/2018/10/09/fix-operation-not-permitted-terminal-error-macos/
