post_install() {
  cat << EOF

==> Before using VMware, you need to reboot or load vmw_vmci and vmmon kernel modules (in a terminal on root: modprobe -a vmw_vmci vmmon)
==> You may also need to enable some of the following services:
- vmware-networks: to have network access inside VMs
- vmware-usbarbitrator: to connect USB devices inside VMs
- vmware-hostd: to share VMs on the network
These services can be activated during boot by enabling .service units or only when a VM is started by enabling .path units (except for vmware-hostd).

EOF
}

post_upgrade() {
  if (( $(vercmp "$2" "11.1.4-16") < 0 )); then
  cat << EOF

Now vmware-networks and vmware-usbarbitrator services can be activated only when a VM is started by enabling .path units instead of .service units.

EOF
  fi
}

post_remove() {
  cat << EOF

==> To completely clean VMware installation, you may have to manually delete /etc/vmware, /etc/vmware-installer and /usr/lib/vmware-installer directories if they still exist.

EOF
}