/etc/default/devpts