Re: Terminal window shrinks into title bar.....

2020-11-10 Thread Greg Wooledge
On Tue, Nov 10, 2020 at 07:46:37AM -0500, Greg Wooledge wrote: > So, if you comment out the "Mouse 4" and "Mouse 5" lines there (and > restart fvwm), I bet that would disable the WindowShade binding to > the scroll wheel. You could still activate or deactivate it through > the menus, assuming you

Re: Terminal window shrinks into title bar.....

2020-11-10 Thread Greg Wooledge
On Tue, Nov 10, 2020 at 11:31:22PM +1100, David wrote: > I did a quick search for a fvwm manpage and found: > https://manpages.debian.org/buster/fvwm/fvwm.1.en.html > """ > WindowShade [bool] > Toggles the window shade feature for titled windows. > Windows in the shaded state only display a t

Re: Terminal window shrinks into title bar.....

2020-11-10 Thread David
On Tue, 10 Nov 2020 at 18:21, Charlie wrote: > FVWM window manager On Tue, 10 Nov 2020 at 22:55, Carl Fink wrote: > On 11/10/20 1:58 AM, Charlie wrote: > > Sometimes I press some key combination by accident and the terminal > > window shrinks back into the title bar. > > I must have t

Re: Terminal window shrinks into title bar.....

2020-11-10 Thread Carl Fink
On 11/10/20 1:58 AM, Charlie wrote: Sometimes I press some key combination by accident and the terminal window shrinks back into the title bar. I must have the terminology wrong, because am unable to discover how to reverse this behaviour. no matter what wordage is used to google. If anyone has

Re: Terminal window shrinks into title bar.....

2020-11-09 Thread Keith Bainbridge
On 10/11/20 5:58 pm, Charlie wrote: From my keyboard: Debian Bulleye 5.8.0-2-amd64 FVWM window manager Sometimes I press some key combination by accident and the terminal window shrinks back into the title bar. I must have the terminology wrong, because am unable to di

Re: terminal window returns prompt (was: dash/bash: exec behaviour change on Buster)

2019-07-17 Thread John Crawley
On 2019-07-18 10:29, John Crawley wrote: Hi tomas and Thomas, thanks for your input. I think I have a basic idea of what exec does. However, try running in a terminal: echo $$ exec #Then, in the new terminal: echo $$ The two PIDs are different! (or were here) On 2019-07-17 17:37, Thomas Schmit

Re: terminal window

1998-12-09 Thread Robert V. MacQuarrie
On Wed, 9 Dec 1998, shaul wrote: >1) I never used pppconfig but I think it strange that username/password is all >it can handle. >2) Perhaps configure the chatscript by hand ? >3) xisp has the ability to open a terminal. But then again, I never needed >this terminal. > >> hello >> I need to ope

Re: terminal window

1998-12-09 Thread shaul
1) I never used pppconfig but I think it strange that username/password is all it can handle. 2) Perhaps configure the chatscript by hand ? 3) xisp has the ability to open a terminal. But then again, I never needed this terminal. > hello > I need to open a terminal window for my dial-up ppp conn