diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-09-07 13:46:28 +0100 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-09-08 16:54:10 +0100 |
commit | 5e11b43d8d06484102dfd1fe017746ac1623d59d (patch) | |
tree | 8e8b27c788b410529a6899395695d500271c3c7f | |
parent | 2d10cb6d7ce4aba5967884639c5781f67f584ab8 (diff) | |
download | definitions-5e11b43d8d06484102dfd1fe017746ac1623d59d.tar.gz |
strata/core/bash.morph: sh -> bash
Change-Id: I933eb93b18542a27337dc1437028efe36429d4a8
-rw-r--r-- | strata/core/bash.morph | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/strata/core/bash.morph b/strata/core/bash.morph index 5d0b8f03..eb267007 100644 --- a/strata/core/bash.morph +++ b/strata/core/bash.morph @@ -10,6 +10,7 @@ configure-commands: --with-installed-readline \ --enable-readline post-install-commands: +- ln -sf /bin/bash "$DESTDIR"/bin/sh - | cat <<'EOF' >> bash.bashrc # |