Mail Archives: djgpp/2002/11/24/14:30:09
From: | Hans-Bernhard Broeker <broeker AT physik DOT rwth-aachen DOT de>
|
Newsgroups: | comp.os.msdos.djgpp
|
Subject: | Re: Bash options behavior
|
Date: | 24 Nov 2002 19:18:13 GMT
|
Organization: | Aachen University of Technology (RWTH)
|
Lines: | 26
|
Message-ID: | <arr8ll$41t$1@nets3.rz.RWTH-Aachen.DE>
|
References: | <zdLD9.4291$EY DOT 310 AT fe01>
|
NNTP-Posting-Host: | acp3bf.physik.rwth-aachen.de
|
X-Trace: | nets3.rz.RWTH-Aachen.DE 1038165493 4157 137.226.32.75 (24 Nov 2002 19:18:13 GMT)
|
X-Complaints-To: | abuse AT rwth-aachen DOT de
|
NNTP-Posting-Date: | 24 Nov 2002 19:18:13 GMT
|
Originator: | broeker@
|
To: | djgpp AT delorie DOT com
|
DJ-Gateway: | from newsgroup comp.os.msdos.djgpp
|
Reply-To: | djgpp AT delorie DOT com
|
Vangor <vangor AT altavista DOT net> wrote:
> checkwinsize
> This option is supposed to update the LINES variable. I made
> a little command-line program to change screen height, but
> LINES is never actualized. It is 25 no matter the size of
> the window.
Hmm... that's not what I see happening here. LINES is not set at all
by BASH --- neither to 25 nor to any other value. Which is to be
expected to some extent. A DOS box, even with a DJGPP program running
in it, is no a Unix terminal, after all.
> nocaseglob
> This option is supposed to enable case-insensitive glob
> expansion. But the option is automatically disabled each
> time a glob expansion is done. So:
It's not, in my own tests. If you had checked after the first "echo",
you would still have found nocaseglob on. Only after the second glob,
which uses upper-case letters in the glob pattern, it's reset.
--
Hans-Bernhard Broeker (broeker AT physik DOT rwth-aachen DOT de)
Even if all the snow were burnt, ashes would remain.
- Raw text -