chiark / gitweb /
mount-setup: mount /dev/pts with mode=620,gid=5 by default and make GID overridable...