comparison shells/dash/dash-post.sh @ 398:89ac6810e2ee

shells/dash: initial import, closes #1486
author David Demelier <markand@malikania.fr>
date Tue, 02 Apr 2019 20:15:00 +0200
parents
children 16d26eee4b33
comparison
equal deleted inserted replaced
397:b24a931a5da5 398:89ac6810e2ee
1 #!/bin/sh
2 #
3 # Copyright (c) 2019 David Demelier <markand@malikania.fr>
4 #
5 # Permission to use, copy, modify, and/or distribute this software for any
6 # purpose with or without fee is hereby granted, provided that the above
7 # copyright notice and this permission notice appear in all copies.
8 #
9 # THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
10 # WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
11 # MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
12 # ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
13 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
14 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
15 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
16 #
17
18 if [ "$1" = "install" ]; then
19 if ! grep -q "/usr/bin/dash" $DESTDIR/etc/shells >/dev/null 2>&1; then
20 echo "/usr/bin/dash" >> $DESTDIR/etc/shells
21 fi
22
23 #
24 # dash is the official default shell in Vanilla, but if the user has set
25 # something else, keep it.
26 #
27 if [ ! -e $DESTDIR/usr/bin/sh ]; then
28 ln -sf dash $DESTDIR/usr/bin/sh
29 fi
30 elif [ "$1" = "uninstall" ]; then
31 sed -i -e '/\/usr\/bin\/dash/d' $DESTDIR/etc/shells
32
33 # Remove deadlink to /bin/sh if dash was kept as default shell.
34 if [ $(readlink $DESTDIR/usr/bin/sh) = "dash" ]; then
35 rm -f $DESTDIR/usr/bin/sh
36 fi
37 fi