- From: "David Allouche" <address@hidden>
- To: address@hidden
- Subject: Re: [TeXmacs] New plugin Tablor (Sign and monotonicity tables / tableaux de signes et de variations)
- Date: Wed, 14 Jan 2009 10:38:37 +0100
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references:x-google-sender-auth; b=VXVD1peOis6dCTb2W9GO/0Fwfke9ibszZ2yp6gVhOtu2WqVBDN/eGXoV75V79MTqpM h5wmr9MITBpRUtAM77b4MwC0NZ6ml24o0+udL12Xs1woZUXyEA5XRcKMJgwTerj1F558 +/Nh9GKdw8UHwNKDRYCrNmQOkqbLqTfBDo2Ys=
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.
Archive powered by MHonArc 2.6.19.