edopro.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

PACKAGE_NAME='EDOPro'
PACKAGE_TARNAME='edopro'

post_install() {
	echo
	echo "==> ${PACKAGE_NAME} will be extracted to ~/.local/opt/${PACKAGE_TARNAME} the first time"
	echo "==> you run \`${PACKAGE_TARNAME}\` as your normal user. Just start it and have fun!"
	echo
}

post_upgrade() {
	echo
	echo "==> The copy of ${PACKAGE_NAME} in your home directory will be upgraded at the"
	echo '==> first time you run it as your normal user. Just start it and have fun!'
	echo
}

post_remove() {
	echo
	echo "==> You will have to remove the ${PACKAGE_TARNAME} directory in your home directory by"
	echo '==> hand. As your normal user, do:'
	echo '==> '
	echo "==> rm -rf ~/.local/opt/${PACKAGE_TARNAME}"
	echo
}