texlive-bin: enable extglob locally in preinst script (#1643)
[termux-packages] / packages / texlive / build.sh
index 7f2f472..f42bbe9 100644 (file)
@@ -61,7 +61,9 @@ termux_step_create_debscripts () {
        echo "rm -rf $TERMUX_PREFIX/etc/profile.d/texlive.sh" >> preinst
        echo "rm -rf $TERMUX_PREFIX/opt/texlive/2016" >> preinst
        # Let's not delete the previous texmf-dist so that people who have installed a full distribution won't need to download everything again
+       echo "shopt -s extglob" >> preinst # !(texmf-dist) is an extended glob which is turned off in scripts
        echo "rm -rf $TERMUX_PREFIX/opt/texlive/2017/!(texmf-dist)" >> preinst
+       echo "shopt -u extglob" >> preinst # disable extglob again just in case
        echo "exit 0" >> preinst
        chmod 0755 preinst