Re: I: problemi con la debian
> Qualcuno sa dove trovare quello script completo?
> Grazie
E` un problema che ho incontrato ad un certo punto nei
upgrade quotidiani, ma e` anche sparito, quindi presumo
che l'ultima versione sia ok.
Comunque qui sotto ti metto quello che ho io (e` sicuramente
l'ultima versione)
Ciao.
################################ cut here
#! /bin/sh
set -e
. /etc/default/devpts
[ `uname -s` = "Linux" ] || exit 0
make_devptmx()
{
[ -c /dev/ptmx ] || mknod --mode=666 /dev/ptmx c 5 2
}
make_devpts()
{
[ -d /dev/pts ] || mkdir --mode=755 /dev/pts
}
mount_devpts_fs()
{
mount -t devpts devpts /dev/pts -ogid=${TTYGRP},mode=${TTYMODE}
}
devfs=$(grep -c '\<devfs' /proc/filesystems || true)
devpts=$(grep -c '\<devpts' /proc/filesystems || true)
devpts_mounted=$(mount | grep -c '^devpts' || true)
release=$(uname -r)
tail=${release#*.*.}
major_release=${release%.${tail}}
minor_release=${tail%%[-.]*}
if [ $devfs -eq 1 ]; then
solution=devfs
elif [ $devpts -eq 1 ]; then
solution=devpts
else
solution=none
fi
case ${major_release} in
2.[23456789] | 3.*)
# Have
case $solution in
devfs|none)
:
;;
devpts)
# devpts
# create /dev/ptmx and /dev/pts dir.
make_devptmx
make_devpts
# mount devpts fs on /dev/pts
# maybe mountall.sh mounted it already, so check.
if [ $devpts_mounted -lt 1 ]
then
mount_devpts_fs
fi
;;
esac
;;
*)
;;
esac
Reply to: