1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#!/bin/sh set -e . /usr/share/os-prober/common.sh partition="$1" dir="$2" type="$3" if [ -d "$dir/servers" ] && [ -d "$dir/hurd" ]; then label="$(count_next_label Hurd)" result "$partition:GNU/Hurd:$label:hurd" exit 0 else exit 1 fi