On 2015-12-04 11:52, Jakub Wilk wrote:
>
> All devpts fstab entries need to have correct options, because all devpts
> filesystems are shared by default. (You can probably use the "newinstance"
> option to disable sharing them.)
You really mean the other entries in the fstab are causing the
permissions of /dev/pts to be changed?
In that case given the issue is due to a user misconfiguration, I guess
we should just try to detect it, display a note and fail the
installation.