From 116fd68d41d6a84f2239a38d6dc09842066028be Mon Sep 17 00:00:00 2001 From: Fabio Rehm Date: Mon, 6 May 2013 16:08:26 -0300 Subject: [PATCH] New kernel for dev boxes! --- development/shell-provisioning/upgrade-kernel | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/development/shell-provisioning/upgrade-kernel b/development/shell-provisioning/upgrade-kernel index 1d15907..2019b17 100755 --- a/development/shell-provisioning/upgrade-kernel +++ b/development/shell-provisioning/upgrade-kernel @@ -9,6 +9,6 @@ fi echo 'An old kernel was found on the guest machine and it will be upgraded' 1>&2 echo 'Please reload the box after provisioning when finished' 1>&2 sudo apt-get update -sudo apt-get install linux-image-3.5.0-27-generic linux-headers-3.5.0-27-generic -y -sudo apt-get dist-upgrade -y +sudo apt-get install linux-image-3.5.0-28-generic linux-headers-3.5.0-28-generic -y +sudo apt-get upgrade -y sudo apt-get autoremove -y