This file is indexed.

/lib/partman/active_partition/50erase/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
#!/bin/sh

. /lib/partman/lib/base.sh

dev=$2
id=$3
part=$dev/$id

cd $part

if [ ! -f skip_erase ]; then
	touch skip_erase
else
	rm -f skip_erase
fi