How about instead fixing the script hack from the other bug to use something more standard like:
grep -q /dev/pts /proc/mounts && exit 0
How about instead fixing the script hack from the other bug to use something more standard like:
grep -q /dev/pts /proc/mounts && exit 0