}
dist_upgrade () {
+ log "Running upgrade ..."
+ apt-get -y$s upgrade || {
+ dpkg --configure -a
+ apt-get -y$s upgrade
+ }
+
log "Running dist-upgrade ..."
apt-get -y$s dist-upgrade || {
dpkg --configure -a
if [ ! -e "$default_kernel" ]; then
# /boot prefix might be missing
- default_kernel="/boot/$default_kernel"
+ default_kernel="/boot/${default_kernel#/}"
if [ ! -e "$default_kernel" ]; then
log "Default kernel image doesn't exist!?"
return 1