[BRLTTY] Creating needed but missing resources.

[Dave Mielke]

[quoted lines by Jason White on 2007/07/06 at 18:54 +1000]

>> What if a default writable directory has been established and then the user
>> wishes to disable it?
>
>If the resources are unmounted when BRLTTY dies, 

I've looked at unmounting on exit and don't believe it's a good idea for at
least two reasons. The first is that it'd cause confusion if more than one
brltty is running and they're all using the same directory. The second is that
there's no underlying facility on most platforms to remove an entry from
/etc/mtab (at least that's its name on Linux), and coding the removal
ourselves, while it can be done, is extremely error prone.

>and the directory deleted (if and only if it was created by BRLTTY itself at
>the start of the session),

This, also, is, in my opinion, a bad thing to do because, as mentioned above,
it'd cause trouble if more than one brltty is running.

>then the user could kill BRLTTY, then restart it, in order to eliminate this
>behaviour and the associated resources (file systems, device files, etc.) that
>were created/mounted by BRLTTY.

What I was actually asking is how, by option, should the user disable the
feature if, say, a default directory has been specified at configure time or
via brltty.conf?

-- 
Dave Mielke           | 2213 Fox Crescent | I believe that the Bible is the
Phone: 1-613-726-0014 | Ottawa, Ontario   | Word of God. Please contact me
EMail: dave at mielke.cc | Canada  K2A 1H7   | if you're concerned about Hell.
http://FamilyRadio.com/                   | http://Mielke.cc/bible/