# HG changeset patch # User David Demelier # Date 1562353357 -7200 # Node ID 70e87450d08fa82766a79a673a081707f30574f3 # Parent ddb052f876cdf1859d4dd7ff8ccf1e6f3facdcc7 shells/dash: no more default, use busybox instead diff -r ddb052f876cd -r 70e87450d08f shells/dash/dash-post.sh --- a/shells/dash/dash-post.sh Fri Jul 05 20:58:54 2019 +0200 +++ b/shells/dash/dash-post.sh Fri Jul 05 21:02:37 2019 +0200 @@ -19,19 +19,6 @@ if ! grep -q "/bin/dash" $DESTDIR/etc/shells >/dev/null 2>&1; then echo "/bin/dash" >> $DESTDIR/etc/shells fi - - # - # dash is the official default shell in Vanilla, but if the user has set - # something else, keep it. - # - if [ ! -e $DESTDIR/bin/sh ]; then - ln -sf dash $DESTDIR/bin/sh - fi elif [ "$1" = "uninstall" ]; then sed -i -e '/\/\/bin\/dash/d' $DESTDIR/etc/shells - - # Remove deadlink to /bin/sh if dash was kept as default shell. - if [ $(readlink $DESTDIR/bin/sh) = "dash" ]; then - rm -f $DESTDIR/bin/sh - fi fi