This is awesome, I was secretly hoping someone would step up and handle the lock strategy
I copied your lock script over to the thepage directory and also made it world writeable
so you or anyone else can improve upon it.
On 21 Sep 2019, at 03:26, mpnordland(a)tilde.club
Love the idea, I made a script to help manage the lock.
You can see it in /home/mpnordland/scripts/python/lock_the_page.py
to acquire the lock on the file. It will check the index.lock modification time and touch
it if it is unlocked.
If it is locked, it will notify you.
If you have the lock, and decide you don't want to change the page use
to release the lock.
I had an idea to extend the lock by writing the username of the locker
into index.lock. That way people could see who has locked the page and ~~harass~~
politely ask them
to release the lock if they've held it for a while.