[tex-live] Raspbian texlive

simon at getthingsfixed.co.uk simon at getthingsfixed.co.uk
Mon Sep 10 16:35:14 CEST 2012

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

More information about the tex-live mailing list