- devfs without devfsd (?)

Changed files:
    console.sh -> 1.7

diff --git a/console.sh b/console.sh
index 517390078cdb701e8c9e421f56c166b94e76f13c..7a8cefcf8d55ac7b773d0cf94076fd7ab152aaff 100644 (file)
--- a/console.sh
+++ b/console.sh
@@ -10,7 +10,11 @@ case $(tty) in
                then
                        # Switch the G0 charset map from the default ISO-8859-1
                        # to the user-defined map (loaded with consolefonts)
-                       echo -n -e '\033(K' > /dev/tty
+                       if [ -w /proc/$$/fd/0 ]; then
+                               echo -n -e '\033(K' > /proc/$$/fd/0
+                       else
+                               echo -n -e '\033(K' > /dev/tty
+                       fi
                fi
                
        fi