{
  "version": "2.0.0",
  "tasks": [
    {
      "label": "Launch Adamantine (mpirun)",
      "type": "shell",
      "command": "mpirun",
      "args": [
        "${command:cmake.launchTargetPath}",
        "-i",
        "${input:pickInputFile}",
        "-o",
        "${input:pickInputFile}.${input:shortDate}.output"
      ],
      "presentation": {
        "reveal": "always",
        "focus": false,
        "panel": "dedicated",
        "showReuseMessage": true,
        "clear": false
      },
      "problemMatcher": []
    },
    {
      "label": "Launch Adamantine (direct)",
      "type": "shell",
      "command": "${command:cmake.launchTargetPath}",
      "args": [
        "-i",
        "${input:pickInputFile}",
        "-o",
        "${input:pickInputFile}.${input:shortDate}.output"
      ],
      "presentation": {
        "reveal": "always",
        "focus": false,
        "panel": "dedicated",
        "showReuseMessage": true,
        "clear": false
      },
      "problemMatcher": []
    }
  ],
  "inputs": [
    {
      "id": "pickInputFile",
      "type": "command",
      "command": "extension.commandvariable.pickStringRemember",
      "args": {
        "description": "Pick a info file to pass to adamantine",
        "key": "debugInfoFile",
        "rememberTransformed": "true",
        "options": [
          {
            "label": "Use previous input",
            "description": "${remember:debugInfoFile}",
            "value": "${remember:debugInfoFile}"
          },
          {
            "label": "Pick new input",
            "value": "${pickFile:newDebugFile}"
          }
        ],
        "pickFile": {
          "newDebugFile": {
            "description": "Pick new info file for adamantine",
            "include": "**/*.info",
            "exclude": "**/build/**",
            "keyRemember": "newDebugFile"
          }
        },
        "remember": {
          "debugInfoFile": {
            "key": "debugInfoFile",
            "default": "Undefined - select an input first"
          }
        }
      }
    },
    {
      "id": "shortDate",
      "type": "command",
      "command": "extension.commandvariable.dateTime",
      "args": {
        "locale": "en-US",
        "options": {
          "weekday": "long",
          "year": "numeric",
          "month": "2-digit",
          "day": "2-digit",
          "hour12": false,
          "hour": "2-digit",
          "minute": "2-digit",
          "second": "2-digit"
        },
        "template": "${year}${month}${day}T${hour}${minute}${second}"
      }
    }
  ]
}