Guest User

Untitled

a guest
Oct 24th, 2014
90
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. {
  2.     "selector": "source.php",
  3.     "file_regex": "^PHP .*? in (.*?) on line ([0-9]*)$",
  4.     "shell": true,
  5.     "quiet": true,
  6.  
  7.     "cmd":
  8.     [
  9.         "php",
  10.         "-d display_errors=stderr",
  11.         "-l",
  12.         "$file",
  13.     ],
  14.     "variants":
  15.     [
  16.         {
  17.             "name": "Run",
  18.             "cmd":
  19.             [
  20.                 "php",
  21.                 "-d display_errors=stderr",
  22.                 "-f",
  23.                 "$file",
  24.             ]
  25.         }
  26.     ],
  27.  
  28.     "windows":
  29.     {
  30.         "env":
  31.         {
  32.             "PATH": "C:/programs/php/",
  33.         }
  34.     }
  35. }
Advertisement
Add Comment
Please, Sign In to add comment