Probably the easiest way to do this is to use graphics devices (png, jpeg, bmp, tiff). You can set the exact width and height of the image as follows:
png(filename="bench_query_sort.png", width=600, height=600) ggplot(data=w, aes(x=query, y=rtime, colour=triplestore, shape=triplestore)) + scale_shape_manual(values = 0:length(unique(w$triplestore))) + geom_point(size=4) + geom_line(size=1,aes(group=triplestore)) + labs(x = "Requêtes", y = "Temps d'exécution (log10(ms))") + scale_fill_continuous(guide = guide_legend(title = NULL)) + facet_grid(trace~type) + theme_bw() dev.off()
width and height are in pixels. This is especially useful when preparing images for publication on the Internet. For more information, see the man page with ?png .
Alternatively, you can also use ggsave to get the exact dimensions you want. You can set the dimensions with:
ggsave(file="bench_query_sort.pdf", width=4, height=4, dpi=300)
width and height are in inches, and dpi you can set the image quality.
source share