Release Notes for Linux Mint 13


This is Linux Mint 13, codename Maya.

Linux Mint 13 "Maya" MATE Edition

Important links

Known issues

Critical: Do not use EFI on Samsung laptops

Don't use EFI on your Samsung 300E5C, NP700Z5C, NP700Z7C and 530U3C series, it might "brick" your laptop. For more information on this issue:

Remove the Medibuntu repository

At the time of release, Linux Mint 13 was designed to use the Medibuntu software repository. This repository was discontinued since and is no longer active.

You will therefore get warning and error messages complaining about it when installing software or updating packages.

To solve the issue simply remove the Medibuntu repositories by following these instructions:

Boot hangs on systems using b43 wireless cards

An upstream issue in the kernel prevents Linux Mint 13 from booting on computers with b43 wireless cards. If you're in this situation, try the following:

  • To boot the live DVD, choose the "Compatibility mode" or add the following kernel argument to the boot options: b43.blacklist=yes
  • Install Linux Mint on the hard drive
  • If not present already, in Grub, modify the boot options to add: b43.blacklist=yes
  • Install the b43 firmware on the system

For more information on this problem, please read this bug report.

64-bit only for Mint4win

If you're planning to use Mint4win, please choose either MATE 64-bit or Cinnamon 64-bit. Although Mint4win is present on all images, it is only functional with the 64-bit ISOs.

Window popping behind installer in MATE Edition

One or two windows might open during the installation of the MATE edition while the installer is mounting partitions and copying files. This is a cosmetic issue. Feel free to dismiss any error message and to close these windows during the installation process.


Moonlight was removed from Linux Mint because of a bug that made Firefox crash. The bug was fixed upstream and you can install the Moonlight plugin from the project's website.

Other issues

Linux Mint 13 is based on Ubuntu 12.04. Make sure to read the Ubuntu release notes.

Important information


When installing Linux Mint with mint4win, choose loop0 for both the target partition and the grub destination.

Desktop icons in Gnome and Cinnamon

The names of the desktop icons are now configurable. By default they're called "Computer" and "Home" and are not localized. You can change them as follows:

  • gsettings set org.gnome.nautilus.desktop computer-icon-name "MyComputer"
  • gsettings set org.gnome.nautilus.desktop home-icon-name "MyHome"

Black splash screen

In Linux Mint the boot splash screen is completely black. This is by design. Once the system is installed the boot sequence is relatively fast. The black loading sequence doesn't look out of place and it looks consistent across all computers, whatever driver you're using. If you'd rather get a splash screen you can select one by typing the following command and selecting mint-logo:

  • sudo update-alternatives --config default.plymouth

CD images

Because of the size of the content, and the fact that a vast majority of systems nowadays can either boot from DVDs or from USB, Linux Mint no longer provides images which fit in 700MB CDs. It is however possible and easy to to modify ISO images. By removing packages such as Java, Mono, LibreOffice, Gimp..etc.. Linux Mint ISOs can be made to fit within 700MB. For instructions on how to remaster the Linux Mint ISOs, please read the following tutorial:

Distributors and magazines in the USA and Japan

If you're planning to redistribute Linux Mint in the USA or in Japan, please use the "no-codecs" images, which come without patented technology or proprietary components. Users can use the welcome screen and the menu to reinstall these missing components easily.

OEM installation images

If you're planning to pre-install Linux Mint for your customers and you're looking for OEM installation images please contact the Linux Mint team.

Local repository and GnomePPP

GnomePPP is not installed by default but it is present within the default installation of Linux Mint. Your Linux Mint system comes with a local repository which is disabled by default. You can enable it by removing the comment sign "#" in /etc/apt/sources.list.d/local-repository.list and refreshing your APT cache. This repository contains GnomePPP as well as a collection of drivers.