#! /bin/bash # ---------------------------------------------------------------------------- # /var/install/deinstall/php8-dev - deinstall script # # Creation : 2021-10-15 schlotze # Last update: $Id: php8-dev 72416 2020-01-27 22:58:23Z schlotze $ # # Copyright (c) 2020 the eisfair team, team(at)eisfair(dot)org # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2 of the License, or # (at your option) any later version. # ---------------------------------------------------------------------------- # Set package name package_name=php8-dev # Set filelist filelist=/etc/filelist.d/${package_name}-files.txt # Check if this is an update if [ "${1}" = "--update" ] then update=true fi /usr/sbin/update-alternatives --remove php /usr/bin/phpize-8 exit 0 # --------------------------------------------------------------------------- # end # ---------------------------------------------------------------------------