Jul
31
2009
0

Cambiar mime-type de un archivo o su tipo – Solución


Hemos visto que en linux un archivo es reconocido por su contendo más que por su extensión. De eso dependerá el mime-type que automáticamente se le asigne. No podemos variarlo.

Si es así, mejor. El tipo recocido es más fidedigno que el que arbitrariamente le pudiésemos asignar mediante una extensión. Una antigua forma de hacer que el usuario disparára un virus era engañándolo con una extensión falsa. Por ejemplo: quiero_galleta.txt en vez de quiero_galleta.exe. Por si no lo sabías este virus te gueveaba pesado hasta que le dabas una galleta: galleta [ENTER].

Archivos involucrados:

/usr/share/applications/mimeinfo.cache
/usr/share/applications/geany.desktop

Yo uso geany como editor en zenwalk. Determina este último archivo según corresponda y edítalos como superusuario (su o sudo)

(more…)

Escrito por NomikOS en: Linux, Tips y trucos cortos |
Hoy 1 lectores.
Jul
31
2009
0

Cambiar mime-type de un archivo o su tipo

La siguiente imagen es de gnome-commander. Si se fijan en el panel izquierdo verán que archivos con la misma extensión se consideran de distinto tipo.

Screenshot-8 (more…)

Escrito por NomikOS en: Linux, Tips y trucos cortos |
Hoy 1 lectores.
May
18
2009
2

Encontrar URL de radios dentro de páginas web usando wget y less

music@work
Creative Commons License photo credit: meeg-el

Generalmente las radios online dan un pequeño archivo que puedes bajar/abrir directamente con tu reproductor de música. Y así puedes guardarlo y ejecutarlo cada vez que quieras sin tener que visitar la página cada vez.

Eso es lo ideal. Pero también muchas buenas páginas web de radios tienen el reproductor incrustado. Eso no es ideal y lo vamos a arreglar altiro.

Nota para los vapuleados camaradas usuarios de MS-Windows:
Antes de seguir te digo que esto también lo puedes hacer en Windows mirando el código fuente (hay una opción para esto en el menú ver de Internet Explorer) y reingresando direcciones de frames, si es necesario, al mismo browser hasta encontrar el URL de la radio.

Nos abocaremos a esta tarea usando los comandos wget y less, para los cuales este post es sólo una introducción, ya profundizaremos más en estas herramientas super cojonudas: (more…)

Escrito por NomikOS en: Linux, Tips y trucos cortos |
Hoy 1 lectores.

Powered by WordPress. Theme: TheBuckmaker. Modifications by NomikOS