#!/bin/sh -e if ! [ "$RPM_INSTALL_ARG1" -ge 0 ] 2>/dev/null; then echo "post_service: invalid or undefined variable: RPM_INSTALL_ARG1" >&2 exit 1 fi if [ $# -ne 1 ]; then echo "Usage: preun_mpi_selector " >&2 exit 1 fi if [ "$RPM_INSTALL_ARG1" -eq 0 ]; then /usr/bin/mpi-selector --unregister "$1" --yes >/dev/null 2>/dev/null ||: fi