diff -up moodle/filter/tex/settings.php.mimetex moodle/filter/tex/settings.php --- moodle/filter/tex/settings.php.mimetex 2015-05-11 16:33:46.664262429 +0200 +++ moodle/filter/tex/settings.php 2015-05-11 16:34:10.375087129 +0200 @@ -45,6 +45,7 @@ if ($ADMIN->fulltree) { $default_filter_tex_pathdvips = "/usr/bin/dvips"; $default_filter_tex_pathdvisvgm = "/usr/bin/dvisvgm"; $default_filter_tex_pathconvert = "/usr/bin/convert"; + $default_filter_tex_pathmimetex = "/usr/bin/mimetex"; } else if (PHP_OS=='Darwin') { // most likely needs a fink install (fink.sf.net) $default_filter_tex_pathlatex = "/sw/bin/latex"; diff -up moodle/filter/tex/settings.php.tex moodle/filter/tex/settings.php --- moodle/filter/tex/settings.php.tex 2015-05-11 17:39:58.002794594 +0200 +++ moodle/filter/tex/settings.php 2015-05-11 17:40:49.834605396 +0200 @@ -78,7 +78,7 @@ if ($ADMIN->fulltree) { $items[] = new admin_setting_configexecutable('filter_tex/pathdvips', get_string('pathdvips', 'filter_tex'), '', $default_filter_tex_pathdvips); $items[] = new admin_setting_configexecutable('filter_tex/pathconvert', get_string('pathconvert', 'filter_tex'), '', $default_filter_tex_pathconvert); $items[] = new admin_setting_configexecutable('filter_tex/pathdvisvgm', get_string('pathdvisvgm', 'filter_tex'), '', $default_filter_tex_pathdvisvgm); - $items[] = new admin_setting_configexecutable('filter_tex/pathmimetex', get_string('pathmimetex', 'filter_tex'), get_string('pathmimetexdesc', 'filter_tex'), ''); + $items[] = new admin_setting_configexecutable('filter_tex/pathmimetex', get_string('pathmimetex', 'filter_tex'), get_string('pathmimetexdesc', 'filter_tex'), $default_filter_tex_pathmimetex); // Even if we offer GIF, PNG and SVG formats here, in the update callback we check whether // required paths actually point to executables. If they don't, we force the setting