Hey ~mpnordland,
This is awesome, I was secretly hoping someone would step up and handle the lock strategy better ;). 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.
~martijn
On 21 Sep 2019, at 03:26, mpnordland@tilde.club wrote:
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 Use
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
lock_the_page.py -r
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.