Date: prev next · Thread: first prev next last
2010 Archives by date, by thread · List index



On Tue, 2010-10-05 at 10:28 +0200, Sebastian Spaeth wrote:
This ran /bin/sh which runs dash on debian. dash has no support for the
pushd bashism used in this script so the script fails. So we need to 
either explicitely request bash or remove the bashism in this one.

        Ah - we require bash explicitly for other things, so I've just switched
this, and a load of the shell scripts to /bin/bash instead - hope that
helps.

        Thanks,

                Michael.

-- 
 michael.meeks@novell.com  <><, Pseudo Engineer, itinerant idiot



Context


Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.