Greg, thanks for this, and FYI I've posted a pull request which will make these two paths the default (after installing) for macOS users from now on
https://github.com/mnemosyne-proj/mnemosyne/pull/35/files On Thursday, January 4, 2018 at 12:34:36 AM UTC-8, Peter Bienstman wrote: > > Thanks for the info, I forward this to Devin, our Mac OSX developer. > > Cheers, > > Peter > > > -----Original Message----- > > From: [email protected] <javascript:> [mailto:mnemosyne- > <javascript:> > > [email protected] <javascript:>] On Behalf Of > [email protected] <javascript:> > > Sent: 04 January 2018 04:13 > > To: mnemosyne-proj-users <[email protected] <javascript:>> > > Subject: Re: [mnemosyne-proj-users] Re: Fixed PATH, still no TeX joy > > > > > > OSX High Sierra - Mnemosyne 2.6 > > > > The config file: ~/Library/Mnemosyne/config.py > > > > needs to be set to: > > > > latex = "/Library/TeX/texbin/latex -output-format=dvi - > > interaction=nonstopmode" > > > > dvipng = "/Library/TeX/texbin/dvipng -D 200 -T tight tmp.dvi" > > > > The previous answers got me to this working installation > > > > > > - Greg > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "mnemosyne-proj-users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to [email protected] <javascript:>. > > > To post to this group, send email to mnemosyne-proj- > > [email protected] <javascript:>. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/mnemosyne-proj-users/3ece1e7b- > > 818e-4494-8ac0-43e887eea2ce%40googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "mnemosyne-proj-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/mnemosyne-proj-users/de8b3ca4-42a8-4197-aadc-5889c31290e7%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
