From: Hans-Bernhard Broeker 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: References: 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 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.