os-prober does not detect Android

[victor]

os-prober 1.56 (from Ubuntu 12.10 installed session) does not detect the Androidx86 eeepc 4RC2 installed in dualboot.

Boot-Info log below:

Boot Info Script 0.61.full + Boot-Repair extra info [Boot-Info November 20th 2012]

============================= Boot Info Summary: ===============================

 => Grub2 (v2.00) is installed in the MBR of /dev/sda and looks at sector 1 of
    the same hard drive for core.img. core.img is at this location and looks
    in partition 1 for (,msdos1)/boot/grub.

sda1: __________________________________________________________________________

    File system: ext3
    Boot sector type: -
    Boot sector info:
    Operating System: Ubuntu 12.10
    Boot files: /boot/grub/grub.cfg /etc/fstab
                       /boot/extlinux/extlinux.conf
                       /boot/grub/i386-pc/core.img

sda2: __________________________________________________________________________

    File system:
    Boot sector type: -
    Boot sector info:
    Mounting failed: mount: unknown filesystem type ''

sda3: __________________________________________________________________________

    File system: ext4
    Boot sector type: -
    Boot sector info:
    Operating System:
    Boot files:

sda4: __________________________________________________________________________

    File system: ext3
    Boot sector type: -
    Boot sector info:
    Operating System:
    Boot files:

============================ Drive/Partition Info: =============================

Drive: sda _____________________________________________________________________

Disk /dev/sda: 250.1 GB, 250059350016 bytes
255 heads, 63 sectors/track, 30401 cylinders, total 488397168 sectors
Units = sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes

Partition Boot Start Sector End Sector # of Sectors Id System

/dev/sda1 * 2,048 18,435,641 18,433,594 83 Linux
/dev/sda2 18,436,096 24,582,143 6,146,048 82 Linux swap / Solaris
/dev/sda3 24,582,144 478,156,799 453,574,656 83 Linux
/dev/sda4 478,158,660 488,392,064 10,233,405 83 Linux

"blkid" output: ________________________________________________________________

Device UUID TYPE LABEL

/dev/mapper/cryptswap1 732775ef-449c-4bd9-8c10-0c99db259997 swap
/dev/sda1 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb ext3
/dev/sda3 ee79b7c9-e741-48d3-8e43-914d4f1b00be ext4
/dev/sda4 0a7ebb3f-779d-4500-bc0d-c3667dbc7cc3 ext3 Android-x86

========================= "ls -R /dev/mapper/" output: =========================

/dev/mapper:
control
cryptswap1

================================ Mount points: =================================

Device Mount_Point Type Options

/dev/sda1 / ext3 (rw,errors=remount-ro)
/dev/sda3 /home ext4 (rw)

=========================== sda1/boot/grub/grub.cfg: ===========================

--------------------------------------------------------------------------------
#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#

### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
  set have_grubenv=true
  load_env
fi
set default="0"

if [ x"${feature_menuentry_id}" = xy ]; then
  menuentry_id_option="--id"
else
  menuentry_id_option=""
fi

export menuentry_id_option

if [ "${prev_saved_entry}" ]; then
  set saved_entry="${prev_saved_entry}"
  save_env saved_entry
  set prev_saved_entry=
  save_env prev_saved_entry
  set boot_once=true
fi

function savedefault {
  if [ -z "${boot_once}" ]; then
    saved_entry="${chosen}"
    save_env saved_entry
  fi
}

function recordfail {
  set recordfail=1
  if [ -n "${have_grubenv}" ]; then if [ -z "${boot_once}" ]; then save_env recordfail; fi; fi
}

function load_video {
  if [ x$feature_all_video_module = xy ]; then
    insmod all_video
  else
    insmod efi_gop
    insmod efi_uga
    insmod ieee1275_fb
    insmod vbe
    insmod vga
    insmod video_bochs
    insmod video_cirrus
  fi
}

if [ x$feature_default_font_path = xy ] ; then
   font=unicode
else
insmod part_msdos
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
else
  search --no-floppy --fs-uuid --set=root 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
fi
    font="/usr/share/grub/unicode.pf2"
fi

if loadfont $font ; then
  set gfxmode=auto
  load_video
  insmod gfxterm
  set locale_dir=$prefix/locale
  set lang=es_ES
  insmod gettext
fi
terminal_output gfxterm
if [ "${recordfail}" = 1 ]; then
  set timeout=10
else
  set timeout=10
fi
### END /etc/grub.d/00_header ###

### BEGIN /etc/grub.d/05_debian_theme ###
set menu_color_normal=white/black
set menu_color_highlight=black/light-gray
### END /etc/grub.d/05_debian_theme ###

### BEGIN /etc/grub.d/10_linux ###
function gfxmode {
 set gfxpayload="${1}"
 if [ "${1}" = "keep" ]; then
  set vt_handoff=vt.handoff=7
 else
  set vt_handoff=
 fi
}
if [ "${recordfail}" != 1 ]; then
  if [ -e ${prefix}/gfxblacklist.txt ]; then
    if hwmatch ${prefix}/gfxblacklist.txt 3; then
      if [ ${match} = 0 ]; then
        set linux_gfx_mode=keep
      else
        set linux_gfx_mode=text
      fi
    else
      set linux_gfx_mode=text
    fi
  else
    set linux_gfx_mode=keep
  fi
else
  set linux_gfx_mode=text
fi
export linux_gfx_mode
if [ "${linux_gfx_mode}" != "text" ]; then load_video; fi
menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb' {
recordfail
 gfxmode $linux_gfx_mode
 insmod gzio
 insmod part_msdos
 insmod ext2
 set root='hd0,msdos1'
 if [ x$feature_platform_search_hint = xy ]; then
   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
 else
   search --no-floppy --fs-uuid --set=root 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
 fi
 linux /boot/vmlinuz-3.5.0-21-generic root=UUID=0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb ro quiet splash $vt_handoff
 initrd /boot/initrd.img-3.5.0-21-generic
}
submenu 'Opciones avanzadas para Ubuntu' $menuentry_id_option 'gnulinux-advanced-0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb' {
 menuentry 'Ubuntu, con Linux 3.5.0-21-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.5.0-21-generic-advanced-0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb' {
 recordfail
  gfxmode $linux_gfx_mode
  insmod gzio
  insmod part_msdos
  insmod ext2
  set root='hd0,msdos1'
  if [ x$feature_platform_search_hint = xy ]; then
    search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
  else
    search --no-floppy --fs-uuid --set=root 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
  fi
  echo 'Cargando Linux 3.5.0-21-generic ...'
  linux /boot/vmlinuz-3.5.0-21-generic root=UUID=0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb ro quiet splash $vt_handoff
  echo 'Cargando el disco RAM inicial...'
  initrd /boot/initrd.img-3.5.0-21-generic
 }
 menuentry 'Ubuntu, con Linux 3.5.0-21-generic (modo recuperación)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.5.0-21-generic-recovery-0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb' {
 recordfail
  insmod gzio
  insmod part_msdos
  insmod ext2
  set root='hd0,msdos1'
  if [ x$feature_platform_search_hint = xy ]; then
    search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
  else
    search --no-floppy --fs-uuid --set=root 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
  fi
  echo 'Cargando Linux 3.5.0-21-generic ...'
  linux /boot/vmlinuz-3.5.0-21-generic root=UUID=0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb ro recovery nomodeset
  echo 'Cargando el disco RAM inicial...'
  initrd /boot/initrd.img-3.5.0-21-generic
 }
 menuentry 'Ubuntu, con Linux 3.5.0-17-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.5.0-17-generic-advanced-0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb' {
 recordfail
  gfxmode $linux_gfx_mode
  insmod gzio
  insmod part_msdos
  insmod ext2
  set root='hd0,msdos1'
  if [ x$feature_platform_search_hint = xy ]; then
    search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
  else
    search --no-floppy --fs-uuid --set=root 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
  fi
  echo 'Cargando Linux 3.5.0-17-generic ...'
  linux /boot/vmlinuz-3.5.0-17-generic root=UUID=0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb ro quiet splash $vt_handoff
  echo 'Cargando el disco RAM inicial...'
  initrd /boot/initrd.img-3.5.0-17-generic
 }
 menuentry 'Ubuntu, con Linux 3.5.0-17-generic (modo recuperación)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.5.0-17-generic-recovery-0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb' {
 recordfail
  insmod gzio
  insmod part_msdos
  insmod ext2
  set root='hd0,msdos1'
  if [ x$feature_platform_search_hint = xy ]; then
    search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
  else
    search --no-floppy --fs-uuid --set=root 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
  fi
  echo 'Cargando Linux 3.5.0-17-generic ...'
  linux /boot/vmlinuz-3.5.0-17-generic root=UUID=0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb ro recovery nomodeset
  echo 'Cargando el disco RAM inicial...'
  initrd /boot/initrd.img-3.5.0-17-generic
 }
}

### END /etc/grub.d/10_linux ###

### BEGIN /etc/grub.d/20_linux_xen ###

### END /etc/grub.d/20_linux_xen ###

### BEGIN /etc/grub.d/20_memtest86+ ###
menuentry "Memory test (memtest86+)" {
 insmod part_msdos
 insmod ext2
 set root='hd0,msdos1'
 if [ x$feature_platform_search_hint = xy ]; then
   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
 else
   search --no-floppy --fs-uuid --set=root 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
 fi
 linux16 /boot/memtest86+.bin
}
menuentry "Memory test (memtest86+, serial console 115200)" {
 insmod part_msdos
 insmod ext2
 set root='hd0,msdos1'
 if [ x$feature_platform_search_hint = xy ]; then
   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
 else
   search --no-floppy --fs-uuid --set=root 0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb
 fi
 linux16 /boot/memtest86+.bin console=ttyS0,115200n8
}
### END /etc/grub.d/20_memtest86+ ###

### BEGIN /etc/grub.d/30_os-prober ###
### END /etc/grub.d/30_os-prober ###

### BEGIN /etc/grub.d/30_uefi-firmware ###
### END /etc/grub.d/30_uefi-firmware ###

### BEGIN /etc/grub.d/40_custom ###
# This file provides an easy way to add custom menu entries. Simply type the
# menu entries you want to add after this comment. Be careful not to change
# the 'exec tail' line above.
menuentry Android {
set root=‘(hd0,4)‘
linux android-x86/android-4.0-RC2/kernel
quiet root=/dev/ram0 androidboot.hardware=eeepc acpi_sleep=s3_bios,s3_mode SRC=/android-4.0-RC2Â
initrd android-x86/android-4.0-RC2/initrd.img}

### END /etc/grub.d/40_custom ###

### BEGIN /etc/grub.d/41_custom ###
if [ -f ${config_directory}/custom.cfg ]; then
  source ${config_directory}/custom.cfg
elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  source $prefix/custom.cfg;
fi
### END /etc/grub.d/41_custom ###
--------------------------------------------------------------------------------

=============================== sda1/etc/fstab: ================================

--------------------------------------------------------------------------------
# /etc/fstab: static file system information.
#
# Use 'blkid' to print the universally unique identifier for a
# device; this may be used with UUID= as a more robust way to name devices
# that works even if disks are added and removed. See fstab(5).
#
# <file system> <mount point> <type> <options> <dump> <pass>
# / was on /dev/sda1 during installation
UUID=0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb / ext3 errors=remount-ro 0 1
# /home was on /dev/sda3 during installation
UUID=ee79b7c9-e741-48d3-8e43-914d4f1b00be /home ext4 defaults 0 2
# swap was on /dev/sda2 during installation
#UUID=bd96b0d6-45ce-425f-8a50-147bfb04a4d4 none swap sw 0 0
/dev/mapper/cryptswap1 none swap sw 0 0
--------------------------------------------------------------------------------

====================== sda1/boot/extlinux/extlinux.conf: =======================

--------------------------------------------------------------------------------
## /boot/extlinux/extlinux.conf
##
## IMPORTANT WARNING
##
## The configuration of this file is generated automatically.
## Do not edit this file manually, use: extlinux-update

default l0
prompt 1
timeout 50

include themes/debian/theme.cfg
--------------------------------------------------------------------------------

=================== sda1: Location of files loaded by Grub: ====================

           GiB - GB File Fragment(s)

   6.391613007 = 6.862942208 boot/grub/grub.cfg 1
   8.790798187 = 9.439047680 boot/initrd.img-3.5.0-17-generic 15
   8.782257080 = 9.429876736 boot/initrd.img-3.5.0-21-generic 15
   0.447971344 = 0.481005568 boot/vmlinuz-3.5.0-17-generic 3
   8.767143250 = 9.413648384 boot/vmlinuz-3.5.0-21-generic 3
   8.782257080 = 9.429876736 initrd.img 15
   8.782257080 = 9.429876736 initrd.img.old 15
   8.767143250 = 9.413648384 vmlinuz 3
   8.767143250 = 9.413648384 vmlinuz.old 3

================= sda1: Location of files loaded by Syslinux: ==================

           GiB - GB File Fragment(s)

   1.008811951 = 1.083203584 boot/extlinux/chain.c32 1
   1.094741821 = 1.175470080 boot/extlinux/extlinux.conf 1

============== sda1: Version of COM32(R) files used by Syslinux: ===============

 boot/extlinux/chain.c32 : COM32R module (v4.xx)

=============================== StdErr Messages: ===============================

cat: write error: Broken pipe

ADDITIONAL INFORMATION :
=================== log of boot-repair 2012-12-22__14h47 ===================
boot-repair version : 3.197~ppa5~quantal
boot-sav version : 3.197~ppa5~quantal
glade2script version : 3.2.2~ppa45~quantal
boot-sav-extra version : 3.197~ppa5~quantal
boot-repair is executed in installed-session (Ubuntu 12.10, quantal, Ubuntu, x86_64)
BOOT_IMAGE=/boot/vmlinuz-3.5.0-21-generic root=UUID=0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb ro quiet splash vt.handoff=7
Disk /dev/mapper/cryptswap1 doesn't contain a valid partition table

=================== os-prober:
/dev/sda1:El sistema operativo que se está usando - Ubuntu 12.10 CurrentSession:linux

=================== blkid:
/dev/sda1: UUID="0fe1dd1d-a9a0-4015-bad8-9e3e90a76acb" TYPE="ext3"
/dev/sda3: UUID="ee79b7c9-e741-48d3-8e43-914d4f1b00be" TYPE="ext4"
/dev/sda4: LABEL="Android-x86" UUID="0a7ebb3f-779d-4500-bc0d-c3667dbc7cc3" SEC_TYPE="ext2" TYPE="ext3"
/dev/mapper/cryptswap1: UUID="732775ef-449c-4bd9-8c10-0c99db259997" TYPE="swap"

1 disks with OS, 1 OS : 1 Linux, 0 MacOS, 0 Windows, 0 unknown type OS.

=================== /etc/default/grub :

# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
# info -f grub -n 'Simple configuration'

GRUB_DEFAULT="0"
#GRUB_HIDDEN_TIMEOUT="0"
GRUB_HIDDEN_TIMEOUT_QUIET="true"
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Debian`"
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL="console"

# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE="640x480"

# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID="true"

# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_RECOVERY="true"

# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"

=================== /etc/grub.d/ :
drwxr-xr-x 2 root root 4096 dic 22 14:35 grub.d
total 72
-rwxr-xr-x 1 root root 7541 oct 14 19:36 00_header
-rwxr-xr-x 1 root root 5488 oct 4 11:30 05_debian_theme
-rwxr-xr-x 1 root root 10891 oct 14 19:36 10_linux
-rwxr-xr-x 1 root root 10258 oct 14 19:36 20_linux_xen
-rwxr-xr-x 1 root root 1688 oct 11 16:10 20_memtest86+
-rwxr-xr-x 1 root root 10976 oct 14 19:36 30_os-prober
-rwxr-xr-x 1 root root 1426 oct 14 19:36 30_uefi-firmware
-rwxr-xr-x 1 root root 751 dic 22 14:35 40_custom
-rwxr-xr-x 1 root root 216 oct 14 19:36 41_custom
-rw-r--r-- 1 root root 483 oct 14 19:36 README

=================== /etc/grub.d/40_custom :
menuentry "ndroid { "menuentry Android {{
set root=‘(hd0,4)‘
linux /android-4.0-RC2/kernel quiet root=/dev/ram0 androidboot.hardware=eeepc acpi_sleep=s3_bios,s3_mode SRC=/android-4.0-RC2Â
initrd /android-4.0-RC2/initrd.img}

if [ -f ${config_directory}/custom.cfg ]; then
source ${config_directory}/custom.cfg
elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
source $prefix/custom.cfg;
fi
}

Informe de este mensaje a <email address hidden> : /lib64: ld-linux-x86-64.so.2
=================== UEFI/Legacy mode:
This installed-session is not in EFI-mode.
SecureBoot disabled.

=================== PARTITIONS & DISKS:
sda1 : sda, not-sepboot, grubenv-ok grub2, grub-pc , update-grub, 32, with-boot, is-os, not--efi--part, fstab-without-boot, fstab-without-efi, no-nt, no-winload, no-recov-nor-hid, no-bmgr, notwinboot, apt-get, grub-install, with--usr, fstab-without-usr, not-sep-usr, standard, not-far, .
sda3 : sda, maybesepboot, no-grubenv nogrub, no-docgrub, no-update-grub, 32, no-boot, no-os, not--efi--part, part-has-no-fstab, part-has-no-fstab, no-nt, no-winload, no-recov-nor-hid, no-bmgr, notwinboot, nopakmgr, nogrubinstall, no---usr, part-has-no-fstab, not-sep-usr, standard, farbios, /home.
sda4 : sda, maybesepboot, no-grubenv nogrub, no-docgrub, no-update-grub, 32, no-boot, no-os, not--efi--part, part-has-no-fstab, part-has-no-fstab, no-nt, no-winload, no-recov-nor-hid, no-bmgr, notwinboot, nopakmgr, nogrubinstall, no---usr, part-has-no-fstab, not-sep-usr, standard, farbios, /mnt/boot-sav/sda4.

sda : not-GPT, BIOSboot-not-needed, has-no-EFIpart, not-usb, has-os, 2048 sectors * 512 bytes

=================== parted -l:

Model: ATA ST9250315AS (scsi)
Disk /dev/sda: 250GB
Sector size (logical/physical): 512B/512B
Partition Table: msdos

Number Start End Size Type File system Flags
1 1049kB 9439MB 9438MB primary ext3 boot
2 9439MB 12.6GB 3147MB primary
3 12.6GB 245GB 232GB primary ext4
4 245GB 250GB 5240MB primary ext3

Model: Linux device-mapper (crypt) (dm)
Disk /dev/mapper/cryptswap1: 3147MB
Sector size (logical/physical): 512B/512B
Partition Table: loop

Number Start End Size File system Flags
1 0.00B 3147MB 3147MB linux-swap(v1)

=================== parted -lm:

BYT;
/dev/sda:250GB:scsi:512:512:msdos:ATA ST9250315AS;
1:1049kB:9439MB:9438MB:ext3::boot;
2:9439MB:12.6GB:3147MB:::;
3:12.6GB:245GB:232GB:ext4::;
4:245GB:250GB:5240MB:ext3::;

BYT;
/dev/mapper/cryptswap1:3147MB:dm:512:512:loop:Linux device-mapper (crypt);
1:0.00B:3147MB:3147MB:linux-swap(v1)::;

=================== mount:
/dev/sda1 on / type ext3 (rw,errors=remount-ro)
proc on /proc type proc (rw,noexec,nosuid,nodev)
sysfs on /sys type sysfs (rw,noexec,nosuid,nodev)
none on /sys/fs/fuse/connections type fusectl (rw)
none on /sys/kernel/debug type debugfs (rw)
none on /sys/kernel/security type securityfs (rw)
udev on /dev type devtmpfs (rw,mode=0755)
devpts on /dev/pts type devpts (rw,noexec,nosuid,gid=5,mode=0620)
tmpfs on /run type tmpfs (rw,noexec,nosuid,size=10%,mode=0755)
none on /run/lock type tmpfs (rw,noexec,nosuid,nodev,size=5242880)
none on /run/shm type tmpfs (rw,nosuid,nodev)
none on /run/user type tmpfs (rw,noexec,nosuid,nodev,size=104857600,mode=0755)
/dev/sda3 on /home type ext4 (rw)
/home/bal/.Private on /home/bal type ecryptfs (ecryptfs_check_dev_ruid,ecryptfs_cipher=aes,ecryptfs_key_bytes=16,ecryptfs_unlink_sigs,ecryptfs_sig=bb112c8389aadb38,ecryptfs_fnek_sig=c99ad251bfc3f24e)
gvfsd-fuse on /run/user/bal/gvfs type fuse.gvfsd-fuse (rw,nosuid,nodev,user=bal)
/dev/sda4 on /mnt/boot-sav/sda4 type ext3 (rw)

=================== ls:
/sys/block/dm-0 (filtered): alignment_offset bdi capability dev discard_alignment dm ext_range holders inflight power queue range removable ro size slaves stat subsystem trace uevent
/sys/block/sda (filtered): alignment_offset bdi capability dev device discard_alignment events events_async events_poll_msecs ext_range holders inflight power queue range removable ro sda1 sda2 sda3 sda4 size slaves stat subsystem trace uevent
/dev (filtered): agpgart alarm ashmem autofs binder block bsg btrfs-control bus char console core cpu cpu_dma_latency disk dm-0 dri ecryptfs fb0 fd full fuse hpet input kmsg log mapper mcelog mem net network_latency network_throughput null oldmem port ppp psaux ptmx pts random rfkill rtc rtc0 sda sda1 sda2 sda3 sda4 sg0 shm snapshot snd stderr stdin stdout uinput urandom v4l vga_arbiter vhost-net video0 zero
ls /dev/mapper: control cryptswap1
Disk /dev/mapper/cryptswap1 doesn't contain a valid partition table

=================== df -Th:

Filesystem Type Size Used Avail Use% Mounted on
/dev/sda1 ext3 8.7G 3.7G 4.6G 45% /
udev devtmpfs 481M 12K 481M 1% /dev
tmpfs tmpfs 198M 792K 197M 1% /run
none tmpfs 5.0M 0 5.0M 0% /run/lock
none tmpfs 493M 136K 493M 1% /run/shm
none tmpfs 100M 12K 100M 1% /run/user
/dev/sda3 ext4 213G 197G 5.9G 98% /home
/home/bal/.Private ecryptfs 213G 197G 5.9G 98% /home/bal
/dev/sda4 ext3 4.9G 456M 4.2G 10% /mnt/boot-sav/sda4

=================== fdisk -l:

Disk /dev/sda: 250.1 GB, 250059350016 bytes
255 heads, 63 sectors/track, 30401 cylinders, total 488397168 sectors
Units = sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disk identifier: 0x000b18bd

Device Boot Start End Blocks Id System
/dev/sda1 * 2048 18435641 9216797 83 Linux
/dev/sda2 18436096 24582143 3073024 82 Linux swap / Solaris
/dev/sda3 24582144 478156799 226787328 83 Linux
/dev/sda4 478158660 488392064 5116702+ 83 Linux

Disk /dev/mapper/cryptswap1: 3146 MB, 3146776576 bytes
255 heads, 63 sectors/track, 382 cylinders, total 6146048 sectors
Units = sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disk identifier: 0xe45e5283

=================== Default settings
Recommended-Repair
This setting would reinstall the grub2 of sda1 into the MBR of sda.
Additional repair would be performed: unhide-bootmenu-10s

=================== Settings chosen by the user
Boot-Info
This setting will not act on the MBR.

[Phillip Susi (psusi)]

Your custom entry for android is malformed. You have mismatched and inappropriate brace nesting, and some invalid characters on the set root line.

[YannUbuntu (yannubuntu)]

@Phillip: this bug is not about the custom entry, but about the fact that os-prober does not detect Android.

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.