This file is indexed.

preinst is in php7.2-gmp 7.2.3-1ubuntu1.

This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#!/bin/sh

set -e


if [ "$1" = "upgrade" ]; then
    # First purge the old unversioned configuration
    inidir=/etc/php/mods-available
    for dsoname in gmp; do
	inifile=${dsoname}.ini
	if [ -e ${inidir}/${inifile} ]; then
	    for ext in '~' '%' .bak .ucf-new .ucf-old .ucf-dist;  do
		rm -f ${inidir}/${inifile}${ext}
	    done
	    rm -f ${inidir}/${inifile}
	    if which ucf >/dev/null; then
		ucf --purge ${inidir}/${inifile} >/dev/null || true
	    fi
	    if which ucfr >/dev/null; then
		ucfr --force --purge php7.2-gmp ${inidir}/${inifile} >/dev/null || true
	    fi
	fi
	# Cleanup of the old symlinks (including broken symlinks)
	find /etc/php/ -type l | \
	    while read symlink; do
		if [ "$(readlink $symlink)" = "${inidir}/$inifile" ]; then
		    rm -f "${symlink}"
		fi
	    done
    done
    if [ -d "$inidir" ]; then
	rmdir --ignore-fail-on-non-empty "$inidir";
    fi
fi



exit 0