From bde0b96416016a958b1690492c02ecc4b4ab83c0 Mon Sep 17 00:00:00 2001 From: Roman Yurchak Date: Tue, 25 Sep 2018 11:30:22 +0200 Subject: [PATCH] Use bash instead of dash shell on ubuntu --- bin/pyodide | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/pyodide b/bin/pyodide index adac9f553..653c925c9 100755 --- a/bin/pyodide +++ b/bin/pyodide @@ -1,8 +1,8 @@ -#!/bin/sh -set -x +#!/bin/bash # get the absolute path to the root directory -ROOTDIR=$(python -c 'import pathlib, sys; print(pathlib.Path(sys.argv[1]).resolve().parent)' \ +ROOTDIR=$(python -c 'import pathlib, sys; \ + print(pathlib.Path(sys.argv[1]).resolve().parents[1])' \ "${BASH_SOURCE[0]}") export PYTHONPATH="${PYTHONPATH}:${ROOTDIR}"