Hoy hice una actualización de EFI; antes BIOS, y se cargó a la chingada mi booteo en Fedora. Porqué? Bueno, con eso del UEFI, ahora, en Fedora (y varias otras distros), el booteo es manejado por el EFI. Hay que registrar tu booteador en el EFI.

En todo caso, batallé …

Well, this is kind of an experiment so, please, be skeptic and question this before believing nonsense, ok?

Recently, I downloaded an android app that claimed to make mosquitoes begone! I think it reproduces a 20 kHz sine wave and this, effectively; after ~25 minutes, scares away all mosquitoes.

So …

Bueno, recientemente, necesité un metrónomo para Fedora y descubrí gtick.

Primero, descubrí que no funcionaba con pulseaudio; había que usarlo con aoss. La cosa es que, en los repos, estaba medio abandonado el paquete.

Luego, chequé el sitio del autor y lo sigue manteniendo. Y, para mi sorpresa, ya soportaba …

Bueno, ahí va el cotorreo:

# te haces dios
su -

# remover MySQL a la chingada. Si tienes el plugin para remover leaves, agrega --remove-leaves
yum remove mysql*

# Instalar el repo de MariaDB
cat << 'EOF' > /etc/yum.repos.d/mariadb.repo
[mariadb]
name = MariaDB
baseurl = http://yum.mariadb.org/5.5/fedora17-amd64 …

Mucha gente usa phpMyAdmin para hacer estas cosas cuando no es necesario. De hecho, les recomiendo usar Adminer en vez de phpMyAdmin; pero, eso, es otro rollo.

Muchos usarían:

mysqldump -h miservidor.tld -u root -p -A > myservidor.com.sql