mailing-list for TeXmacs Users

["David Allouche" <address@hidden>]

On Wed, Jan 14, 2009 at 09:46, Corcelle <address@hidden> wrote:
>
>> i get the same problem as for the xypic plugin and th pstricks plugin :
>> "dvips: ! DVI file can't be opened.
>>
>> cat: tabtmp.eps: Aucun fichier ou dossier de ce type"
>>
>
> For this problem, another possible trick on ubuntu is to open the
> $TEXMAS_PATH/bin/fig2ps file and to replace the first line :
> #!/bin/sh
> by
> #!/bin/bash
>
> You can do that for each tm_* file in your plugin directory (it's a known
> bug on ubuntu).

It's likely a bug in texmacs that shows up in Ubuntu, but not a bug in Ubuntu.

Some shell scripts require this change on Ubuntu because they rely on
bash extensions which are not supported in "dash" which is is the
/bin/sh implementation used on Ubuntu.

/bin/sh is only guaranteed to be a posix-compliant shell, and dash is
posix-compliant. If a script depends on bash extension, it MUST
specify #!/bin/bash.

It is a bug in the script if it specifies #!/bin/sh and requires bash
extensions.