#! /bin/sh set -e if [ "$1" = "remove" ]; then dpkg-divert --package python3.15-nopie \ --remove --rename \ --divert /usr/bin/python3.15-pie /usr/bin/python3.15 fi exit 0