Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

You can open your pgm in an image editing program such as gimp or photoshop, double the resolution, and save it.

You should also be able to resize it using imagemagik tools such as mogrify or convert.

If you have a yaml file that goes with your pgm map, you should edit the resolution there; otherwise, just pass the new resolution to the map_server on startup.