Archivo

Entradas Etiquetadas ‘png’

Gnuplot no encuentra fuente arial

Viernes, 18 de septiembre de 2009 Sin comentarios

gnuplot

Creo recordar que nunca os he hablado de Gnuplot con anterioridad. Dicho a groso modo, gnuplot es una herramienta que nos permite visualizar interactivamente prácticamente cualquier conjunto de datos. Está orientado principalmente a científicos y estudiantes para la visualización de funciones matemáticas y datos. Escribo esta entrada porque me he dado cuenta que al usar dicho programa en gentoo y al intentar mostrar los datos en una terminal de tipo png, me aparecen mensajes de advertencia de este tipo:

Could not find/open font when opening font "arial", using internal non-scalable font

El problema parece ser que en Gentoo las fuentes dicha fuente se almacena en un lugar distinto que en otras distribuciones. Para hacer que Gnuplot encuentre dichas fuentes tenemos que introducir la siguiente línea en el fichero ~/.bashrc

export GDFONTPATH=/usr/share/fonts/corefonts
GD Star Rating
loading...
Share

TIP: Cambiar formato de imágenes con ImageMagick

Miércoles, 28 de enero de 2009 2 comentarios

imagemagick

spain

ImageMagick es un magnífico conjunto de herramientas de consola con licencia GPL para la creación, edición y composición de imágenes digitales. Una de las aplicaciones que uso más habitualmente es mogrify, que entre otras cosas nos permite cambiar el formato de una imagen de esta forma tan sencilla:

mogrify -format jpg *.png

El comando que acabo de escribir convierte todas las imágenes con formato png a formato jpg conservando los nombres originals de los archivos. En caso de que queramos modificar el nombre de los archivos podemos usar:

convert *png img_%d.jpg

Donde %d se refiere a un índice que indica el número de imagen modificada.

england

ImageMagick is a great set of console tools with GPL license to create, edit and compose digital images. One of the applications I use most often is mogrify, which among other thins it allow us to change the format of the images in so simplay way:

mogrify -format jpg *.png

The above command convert all the images with png format to jpg preserving the original file names. If we want change the file names we can use:

convert *png img_%d.jpg

Where %d is an index indicating the number of the modified image.

GD Star Rating
loading...
Share