mkdir -p $verbose "$conf_dir" >&2
cat > "$conf_file" <<-EOF
+ # Generated by $PROG
timeout 0
default $1
EOF
# Create the new entry
mkdir -p $verbose "$entries_dir" >&2
cat > "$entry_path" <<-EOF
+ # Generated by $PROG
title $title
version $kernel_version
efi /$kernel