From 2188dc71be86b6c22d2c5522fb7ce41dee566903 Mon Sep 17 00:00:00 2001 From: Scott Moser Date: Fri, 5 Aug 2016 16:57:38 -0400 Subject: add debian directory from current yakkety --- debian/grub-set-default | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100755 debian/grub-set-default (limited to 'debian/grub-set-default') diff --git a/debian/grub-set-default b/debian/grub-set-default new file mode 100755 index 00000000..8816bc7e --- /dev/null +++ b/debian/grub-set-default @@ -0,0 +1,38 @@ +#!/bin/sh + +diverted=/usr/sbin/grub-set-default.real +legacy_ec2=/usr/sbin/grub-set-default-legacy-ec2 +normal=/usr/sbin/grub-set-default + +warn() { echo "WARNING:" "$@" 1>&2; } +Usage() { + cat <