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