Por padrão, o Firefox do Linux Mint 13 tem o buscador DuckDuckGo.

Nada contra! Mas se quiser usar o Google, faça o seguinte:

• Na barra de endereços, digite: about:config - para acessar as configurações.
• No campo de busca, digite: keyword.URL - para filtrar e clique no resultado.
• Altere: http://duckduckgo.com/?t=lm&q=
• Para: http://www.google.com.br/search?ie=UTF-8&oe=UTF-8&q=
• Feche a aba.

Depois acesse: https://addons.mozilla.org/en-us/firefox/addon/google-br/

Para adicionar o buscador na barra de pesquisa que fica ao lado da barra de endereços.

Abraço!