post_install() {
	echo -e "Put /usr/share/pilaunch/piconfig.py and /usr/share/pilaunch/pilaunchextras.py in directory ~/.config/pilaunch/ and customize as you see fit."
}

post_upgrade() {
	echo -e "Put /usr/share/pilaunch/piconfig.py and /usr/share/pilaunch/pilaunchextras.py in directory ~/.config/pilaunch/ and customize as you see fit."
}