Re: convenient trimming of quoted text to make points

2017-08-31 Thread Duncan Roe
On Sat, Aug 26, 2017 at 11:26:10AM -0400, cyg Simple wrote: > On 8/26/2017 2:04 AM, L A Walsh wrote: > > cyg Simple wrote: > >> On 8/24/2017 8:36 PM, L A Walsh wrote: > >>   > >>> If you can't trim your quoted text, then please stop burying the > >>> new stuff on the bottom. > >>>     > >> > >> Did

Re: Bash monitor mode remains enabled if disabled in .bashrc

2017-08-31 Thread cyg Simple
Keep responses to the list and not the individual responders. Forwarded on your behalf. On 8/31/2017 10:32 AM, Michel LaBarre wrote: > Thanks for the reply. > > Quick answer (repeated interleaved below): > - my .bash_profile does indeed source .bashrc > - I added an echo to .bashrc to be dou

Re: Bash monitor mode remains enabled if disabled in .bashrc

2017-08-31 Thread cyg Simple
On 8/30/2017 7:26 PM, Michel LaBarre wrote: > Playing with set -m/+m and shopt -s lastpipe, in an interactive bash shell, > I came across a situation > which is minor unless it has broader implications for others that I do not > know about. > > Specifically if "set +m" is present in .bashrc, it