blob: 8200173a5ef8ead00882cd55e1022f4fbf5d7d23 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
post_install() {
echo
echo " It is very convenient to create the following aliases:"
echo
echo " alias rm='rmtrash'"
echo " alias rmdir='rmdirtrash'"
echo " alias sudo='sudo '"
echo
}
post_remove() {
echo
echo " Make sure to delete the following aliases if you created them:"
echo
echo " alias rm='rmtrash'"
echo " alias rmdir='rmdirtrash'"
echo " alias sudo='sudo '"
echo
}
|