CmdID / Commands
Convert a PPM image to a PGM image. tldr-pages
On several platforms
Opens CmdID with your command. It is read in your browser and sent nowhere.
Convert PPM image to PGM image
ppmtopgm path/to/file.ppm >path/to/file.pgm
Display version
ppmtopgm -version