This file is indexed.

/lib/partman/active_partition/30format/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
13
14
15
16
17
18
19
20
21
22
23
24
#!/bin/sh

. /lib/partman/lib/base.sh

dev="$2"
id=$3

[ -f $dev/$id/method ] || exit 0
method=$(cat $dev/$id/method)

case "$method" in
    keep)
	echo format >$dev/$id/method
	> $dev/$id/format
	> $dev/$id/use_filesystem
	;;
    format)
	echo keep >$dev/$id/method
	rm -f $dev/$id/format
	> $dev/$id/use_filesystem
	;;
esac

update_partition $dev $id