christian void wrote: > cat > message-to-majcher > because ctrl-d can be used to terminate input to some apps and if you > hit ctrl-d it will not only terminate input but log you out > ^D
Python exits with ^D as well. bram@mice ~ > python Python 2.1.2 (#1, Jan 18 2002, 18:05:45) [GCC 2.95.4 (Debian prerelease)] on linux2 Type "copyright", "credits" or "license" for more information. >>> exit 'Use Ctrl-D (i.e. EOF) to exit.' >>> sys.exit() is how you leave programatically. -Bram _______________________________________________ Bits mailing list [EMAIL PROTECTED] http://www.sugoi.org/mailman/listinfo/bits
