[tex-live] Raspbian texlive

[simon at getthingsfixed.co.uk]

On Monday 10 September 2012 07:55:27 simon at getthingsfixed.co.uk wrote:
> Two issues I found:
> * Wheezy's /bin/sh is dash and not bash. "Build" is #!/bin/sh and it
> barfed. It has some bashism in it, so I had to run it as "bash Build". It
> does call other things with /bin/sh in them, but it did not seem to cause a
> problem[1]. 

Actually not a "bashism" per se, but the absence of "time" in both dash and 
the standard install of Wheezy as on the Raspbian SD image.

When /usr/bin/time is installed then Build seems to work as normal.

If Build is called as "bash Build" it works fine because it uses bash's 
internal "time".

The standard "time" produces slightly ugly output so, given the choice, I 
would prefer the bash version.

The solutions would include a cleverer sh script or a special Build script 
that enforced bash.

-- 
Get Things Fixed