Oh, I didn't realize that symlinks used in this way would still allow users to edit. The difference with these files and OPL files is permissions, but you would not want to change permissions to prevent editing from the regular course, or else the the files would be unwriteable in the library course too.
The code controlling this is:
and it's just based on whether the www-data user can write to that file.
Hmm, then it seems that precisely what you asked for can't be done right now. For what it's worth, I do our library management the following more complicated way:
- Our local library is a git repo inside the libraries/ folder (so parallel to webwork-open-linbrary)
- For each instructor who might do edits to the core library they have a dedicated course. (For you, maybe you are the only such instructor.)
- In each of those special courses, there is a folder that is a copy of that repository.
- If instructor X wants to edit a core library problem, they edit it within their development course. Then they notify me.
- I sign into the server, navigate to their library folder, and run `git diff` to examine their edits or additions. If it's all good, I commit their edits. (And it's all set up to credit the commit to that instructor.)
- Then I run a script that pushes each of their course git repos the the core repo, and then pushes back from the core repo out to each of thosthee instructor repos.