The xyplugin is broken, and there is an easy fix: It says #!/bin/sh
it should say #!/bin/bash or rewrite the line echo -ne "\n" to make it work for /bin/sh (I would need to think how) Another issue is that the plugin does not detect whether the package xypic is actually installed, but it seems to me that the user should make sure that xypic is installed... Peace. -Adrian. _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
