On 9/08/2017 3:35 a.m., José Abílio Matos wrote:
On Thursday, 25 May 2017 01.31.05 WEST Andrew Parsloe wrote:
(Deep breath.) I think ext_copy.py is only half of a pair of scripts.
The other half is a "dummy exporter", something like
## dummy_export.py
## a minimal script used to 'export'
On Tue, Aug 08, 2017 at 03:33:55PM +0100, José Abílio Matos wrote:
> On Tuesday, 4 July 2017 23.03.22 WEST Scott Kostyshak wrote:
> > No problem at all. I hope you don't mind my nagging emails (if you
> do,
> > please say so).
>
> Not only I do not mind them but I appreciate them. :-)
>
> I apol
On Thursday, 25 May 2017 01.31.05 WEST Andrew Parsloe wrote:
> (Deep breath.) I think ext_copy.py is only half of a pair of scripts.
> The other half is a "dummy exporter", something like
>
> ## dummy_export.py
> ## a minimal script used to 'export' the
> ## current document and excite the LyX
> #
On Tuesday, 4 July 2017 23.03.22 WEST Scott Kostyshak wrote:
> No problem at all. I hope you don't mind my nagging emails (if you
do,
> please say so).
Not only I do not mind them but I appreciate them. :-)
I apologize for taking so long, after reading ~1100 pages (tikz manual)
and ~550 pages (
On Monday, 7 August 2017 02.52.12 WEST Scott Kostyshak wrote:
> On Tue, Jul 04, 2017 at 06:03:22PM -0400, Scott Kostyshak wrote:
> > On Tue, Jul 04, 2017 at 11:33:02AM +0100, José Abílio Matos wrote:
> > > On Saturday, 1 July 2017 04.54.15 WEST Scott Kostyshak wrote:
> > > > Pinging José.
> > > >
On Tue, Jul 04, 2017 at 06:03:22PM -0400, Scott Kostyshak wrote:
> On Tue, Jul 04, 2017 at 11:33:02AM +0100, José Abílio Matos wrote:
> > On Saturday, 1 July 2017 04.54.15 WEST Scott Kostyshak wrote:
> > > Pinging José.
> > >
> > > Scott
> >
> > I am sorry for the huge latency time but I have bee
On Tue, Jul 04, 2017 at 11:33:02AM +0100, José Abílio Matos wrote:
> On Saturday, 1 July 2017 04.54.15 WEST Scott Kostyshak wrote:
> > Pinging José.
> >
> > Scott
>
> I am sorry for the huge latency time but I have been busy with exams & Co.
> That period is now over.
No problem at all. I hope
On Saturday, 1 July 2017 04.54.15 WEST Scott Kostyshak wrote:
> Pinging José.
>
> Scott
I am sorry for the huge latency time but I have been busy with exams & Co.
That period is now over.
Is it OK then to apply the patch?
Regards,
--
José Abílio
On Tue, Jun 06, 2017 at 03:33:47PM -0400, Scott Kostyshak wrote:
> On Sun, May 28, 2017 at 01:23:14PM -0400, Scott Kostyshak wrote:
> > On Thu, May 25, 2017 at 12:31:05PM +1200, Andrew Parsloe wrote:
> > >
> > > On 24/05/2017 9:24 p.m., José Abílio Matos wrote:
> > > > On Wednesday, 24 May 2017 03
On Sun, May 28, 2017 at 01:23:14PM -0400, Scott Kostyshak wrote:
> On Thu, May 25, 2017 at 12:31:05PM +1200, Andrew Parsloe wrote:
> >
> > On 24/05/2017 9:24 p.m., José Abílio Matos wrote:
> > > On Wednesday, 24 May 2017 03.51.55 WEST Scott Kostyshak wrote:
> > >
> > > > Any objection from anyone
On Thu, May 25, 2017 at 12:31:05PM +1200, Andrew Parsloe wrote:
>
> On 24/05/2017 9:24 p.m., José Abílio Matos wrote:
> > On Wednesday, 24 May 2017 03.51.55 WEST Scott Kostyshak wrote:
> >
> > > Any objection from anyone else?
> >
> >
> > > Scott
> >
> > Honestly the use of the plus sign as a
On 24/05/2017 9:24 p.m., José Abílio Matos wrote:
On Wednesday, 24 May 2017 03.51.55 WEST Scott Kostyshak wrote:
Any objection from anyone else?
Scott
Honestly the use of the plus sign as a special character seems unnatural
to me. :-)
My suggestion would be to pass an option that specif
On Wednesday, 24 May 2017 03.51.55 WEST Scott Kostyshak wrote:
> Any objection from anyone else?
>
> Scott
Honestly the use of the plus sign as a special character seems unnatural to
me. :-)
My suggestion would be to pass an option that specify just that, say -d. The
advantage of this approach
On Thu, May 04, 2017 at 11:44:05PM -0400, Richard Heck wrote:
> On 05/04/2017 07:15 PM, Andrew Parsloe wrote:
> > I would like to see the following small change made to the script
> > ext_copy.py for 2.3.0:
> >
> > Currently it contains the lines:
> >
> > # output directory
> > to_dir = args[1]
> >
On 05/04/2017 07:15 PM, Andrew Parsloe wrote:
> I would like to see the following small change made to the script
> ext_copy.py for 2.3.0:
>
> Currently it contains the lines:
>
> # output directory
> to_dir = args[1]
> if targext != '.':
> to_dir += "." + targext
>
> Change this to
>
> # outpu
15 matches
Mail list logo