--- settings.cc.orig 2016-11-15 10:39:44.419656094 +0900 +++ settings.cc 2016-11-15 10:41:51.958651237 +0900 @@ -91,11 +91,11 @@ string HOME="HOME"; string docdir=ASYMPTOTE_DOCDIR; const char pathSeparator=':'; -string defaultPSViewer="gv"; +string defaultPSViewer="evince"; #ifdef __APPLE__ string defaultPDFViewer="open"; #else -string defaultPDFViewer="acroread"; +string defaultPDFViewer="evince"; #endif string defaultGhostscript="gs"; string defaultGhostscriptLibrary="/usr/lib/libgs.so"; @@ -707,7 +707,8 @@ bool getOption() { string str=optarg; - if(str == "latex" || str == "pdflatex" || str == "xelatex" || + if(str == "platex" || + str == "latex" || str == "pdflatex" || str == "xelatex" || str == "tex" || str == "pdftex" || str == "luatex" || str == "lualatex" || str == "context" || str == "none") { value=str;