Bug#268664: dosemu: config.dosbanner can't be turned off

[Roger Leigh <rleigh@debian.org>]

Package: dosemu
Version: 1.2.1.0
Severity: normal

I'm using dosemu-1.2.1.0 together with freedos.

Now I have dosemu correctly configured (and running like a charm!) I'd
like to disable the startup dos banner, since I generally run commands
from the bash shell (e.g. "dosemu myprog") and the startup output each
time interferes with the output I want to see.

I added

  $_dosbanner = (off)

to /etc/dosemu/dosemu.conf and also to .dosemurc, but neither had any
effect. I've also tried (0), (1) and (on) etc., but nothing changes the
config (which I've read by using "-D+c -O").

I also tried chaning the "dosbanner on" line in
/usr/lib/dosemu/global.conf, and sourcing this with -F, but it also had
no effect! Running as root didn't change anything either.

I had a look at the sources, and the yacc grammar seems to say that the
config line I added should parse correctly...

Is it possible to turn off the dosbanner?


Many thanks,
Roger

-- System Information:
Debian Release: 3.1
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.7
Locale: LANG=en_GB, LC_CTYPE=en_GB (ignored: LC_ALL set to en_GB)