diff --git a/local-sbin/grub-update b/local-sbin/grub-update old mode 100644 new mode 100755 diff --git a/local-sbin/install-grub b/local-sbin/install-grub old mode 100644 new mode 100755 diff --git a/local-sbin/sign-boot b/local-sbin/sign-boot old mode 100644 new mode 100755 diff --git a/local-sbin/update-mydebs b/local-sbin/update-mydebs old mode 100644 new mode 100755 diff --git a/local-sbin/verify-boot b/local-sbin/verify-boot old mode 100644 new mode 100755