launcher-menu.json

{
  "menu": {
    "description": "action",
    "devel-server:Starts development server.": "devel-server",
    "build:Build Kontext.": {
      "description": "environment",
      "production:Builds your app for the production environment.": "build:production",
      "production-with-maps:Builds your app for the production environment with maps.": "build:production-with-maps",
      "production-notc:Builds your app for the production environment ???.": "build:production-notc"
    },
    "docker:Run container": {
      "description": "docker profile",
      "dev:Run development profile": "docker:dev",
      "default:Run production profile": "docker:default",
      "mysql:Run production profile with mysql": "docker:mysql"
    },
    "typecheck:Run typecheck": {
      "client:Run typecheck on client": "typecheck:client"
    }
  }
}