[unison-users] how to get around error: /root/DANGER.README: Read-only file system

['[e-mail]' [e-mail] [unison-users]]

While synchronizing, I received this error (trying again produced the
same result):

Fatal error: Server: Error in writing commit log:
/root/DANGER.README: Read-only file system

On a Raspberry Pi Unison server (Ubuntu 18.04), I mount the root
filesystem as read-only to save the microSD card. I manually remount it
read-write for OS updates and configuration changes.

I have a symlink from /root/.unison to the USB external drive which
works well for Unison state files, but there is no simple way to do the
same for the temporary commit log "DANGER.README" file (more info
<https://alliance.seas.upenn.edu/%7Ebcpierce/wiki/index.php?n=Main.UnisonFAQTroubleshooting>).
I tried a symlink for this, but received "/root/DANGER.README: File exists".

What is the right way to do this? Changing the user's home directory to
the writable USB external drive would break ssh since the USB drive is
not always mounted. Is there a way to tell Unison to put this file
somewhere else?

~Minimal

['Benjamin C. Pierce' [e-mail] [unison-users]]

You’ll need to recompile from source to change this, but this is not very hard.

The line that needs to change is line 28 in files.ml — you could, for example, replace fileInHomeDir with fileInUnisonDir.

- B

Post by '***@gmail.com' ***@gmail.com [unison-users]
/root/DANGER.README: Read-only file system
On a Raspberry Pi Unison server (Ubuntu 18.04), I mount the root filesystem as read-only to save the microSD card. I manually remount it read-write for OS updates and configuration changes.
I have a symlink from /root/.unison to the USB external drive which works well for Unison state files, but there is no simple way to do the same for the temporary commit log "DANGER.README" file (more info <https://alliance..seas.upenn.edu/%7Ebcpierce/wiki/index.php?n=Main.UnisonFAQTroubleshooting>). I tried a symlink for this, but received "/root/DANGER.README: File exists".
What is the right way to do this? Changing the user's home directory to the writable USB external drive would break ssh since the USB drive is not always mounted. Is there a way to tell Unison to put this file somewhere else?
~Minimal