Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-05 Thread Paul A. Rubin
On 08/05/2017 10:49 AM, mn wrote: On 05.08.17 16:26, Paul A. Rubin wrote: FWIW, I subscribe through GMail, using a filter to put the dev and user lists in separated virtual folders, but access my GMail account in Thunderbird (IMAP). The messages are individual. I don't know if there's a way to

Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-05 Thread Paul A. Rubin
On 08/05/2017 10:49 AM, mn wrote: On 05.08.17 16:26, Paul A. Rubin wrote: FWIW, I subscribe through GMail, using a filter to put the dev and user lists in separated virtual folders, but access my GMail account in Thunderbird (IMAP). The messages are individual. I don't know if there's a way to

Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-05 Thread mn
On 05.08.17 16:26, Paul A. Rubin wrote: > FWIW, I subscribe through GMail, using a filter to put the dev and user > lists in separated virtual folders, but access my GMail account in > Thunderbird (IMAP). The messages are individual. I don't know if there's > a way to maintain threads in

Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-05 Thread Paul A. Rubin
On 08/04/2017 10:02 PM, Scott Kostyshak wrote: On Fri, Aug 04, 2017 at 08:22:40AM +0200, Christian Ridderström wrote: On 2 August 2017 at 10:03, Scott Kostyshak wrote: I'm using gmail's web interface these days. This might be why I'm finding it difficult to efficiently

Re: How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-04 Thread Scott Kostyshak
On Fri, Aug 04, 2017 at 08:22:40AM +0200, Christian Ridderström wrote: > On 2 August 2017 at 10:03, Scott Kostyshak wrote: > > > > > > > > > I'm using gmail's web interface these days. This might be why I'm finding > > > it difficult to efficiently follow threads that are so

Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-04 Thread Pavel Sanda
Christian Ridderström wrote: > On 2 August 2017 at 11:29, Pavel Sanda wrote: > > > Scott Kostyshak wrote: > > > Ah I did not realize you did that on purpose. I actually found it > > annoying when > > > I wanted to go up the discussion and couldn't because it was cut off > > > > +1

How to access the list efficiently? Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-04 Thread Christian Ridderström
On 2 August 2017 at 10:03, Scott Kostyshak wrote: > > > > > I'm using gmail's web interface these days. This might be why I'm finding > > it difficult to efficiently follow threads that are so long. > > - The gmail labs thing I used for replying to parts of an e-mail is no > >

Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-03 Thread Christian Ridderström
On 2 August 2017 at 11:29, Pavel Sanda wrote: > Scott Kostyshak wrote: > > Ah I did not realize you did that on purpose. I actually found it > annoying when > > I wanted to go up the discussion and couldn't because it was cut off > > +1 > I just want to check you understood that

Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-02 Thread Pavel Sanda
Scott Kostyshak wrote: > Ah I did not realize you did that on purpose. I actually found it annoying > when > I wanted to go up the discussion and couldn't because it was cut off +1 Pavel

Re: Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-02 Thread Scott Kostyshak
On Wed, Aug 02, 2017 at 12:20:24AM +0200, Christian Ridderström wrote: > Richard wrote: > > > We have spent an enormous amount of time on this ... > > > > HI, > > Regarding the discussion of LyX's safety I'd like to make a few remarks > related to ... ?list etiquette? Not sure what the correct

Long threads? / list etiquette? (Was: Options for resolving the minted + shell-escape issue)

2017-08-01 Thread Christian Ridderström
Richard wrote: > We have spent an enormous amount of time on this ... > HI, Regarding the discussion of LyX's safety I'd like to make a few remarks related to ... ?list etiquette? Not sure what the correct term should be, but it ought to be clear below. Really long threads: Are we really ok