summarylogtreecommitdiffstats
path: root/webots.install
blob: a3ff5b674f7e9217e6738139d3dac5f99268247f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
post_install() {
	xdg-icon-resource forceupdate --theme hicolor &> /dev/null
	update-desktop-database -q
}

post_upgrade() {
	post_install
}

post_remove() {
	xdg-icon-resource forceupdate --theme hicolor &> /dev/null
	update-desktop-database -q
}