This file is indexed.

/lib/partman/active_partition/15method/do_option is in ubiquity 18.04.14.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
#!/bin/sh

. /lib/partman/lib/base.sh

dev=$2
id=$3

if ask_user /lib/partman/choose_method "$dev" "$id"; then
	update_partition $dev $id
fi

exit 0