Aliases do not work in non-interactive shells

0795a6f8 · Stephane Glondu · 5262f837 · 0795a6f8
Commit 0795a6f8 authored Mar 13, 2017 by Stephane Glondu
--- a/demo/demo.sh
+++ b/demo/demo.sh
@@ -4,7 +4,9 @@ set -e

 BELENIOS=${BELENIOS:-$PWD}

-alias belenios-tool=$BELENIOS/_build/belenios-tool
+belenios-tool () {
+    $BELENIOS/_build/belenios-tool "$@"
+}

 header () {
    echo