convert.php

   1 <?php
   2 $csvFile = __DIR__ . '/services.csv';
   3 $origDir = __DIR__ . '/white/';
   4 $piconDir = __DIR__ . '/picon/';
   5
   6 $resCsv = fopen($csvFile, 'r');
   7 while (($data = fgetcsv($resCsv, 1000)) !== false) {
   8     list($serviceTitle, $serviceKey) = $data;
   9
  10     $origFile = $origDir . $serviceTitle . '.svg';
  11     if (!file_exists($origFile)) {
  12         echo 'File missing for: ' . $serviceTitle . "\n";
  13         continue;
  14     }
  15
  16     $piconFile = $piconDir
  17         . str_replace(':', '_', rtrim($serviceKey, ':'))
  18         . '.png';
  19     if (file_exists($piconFile)) {
  20         continue;
  21     }
  22     exec(
  23         'convert -resize 100x60 -background none'
  24         . ' ' . escapeshellarg($origFile)
  25         . ' ' . escapeshellarg($piconFile)
  26     );
  27     echo 'png created: ' . $serviceTitle . "\n";
  28 }
  29 fclose($resCsv);
  30
  31 ?>