Skip to content
Snippets Groups Projects
Commit 71f9685c authored by Andri Joos's avatar Andri Joos :blush:
Browse files

Merge branch 'setup'

parents a286ca46 7c145d9f
No related branches found
No related tags found
No related merge requests found
Pipeline #6377 canceled with stage
include:
- project: docker-images/templates
ref: master
file: devcontainer_images.gitlab-ci.yml
build:
extends: .build_image_job_template
variables:
IMAGE_BASENAME: devcontainer-latex
IMAGE_NAME: ${IMAGE_PREFIX}/${IMAGE_BASENAME}:latest,${IMAGE_PREFIX}/${IMAGE_BASENAME}:1.0
{
// See https://go.microsoft.com/fwlink/?LinkId=733558
// for the documentation about the tasks.json format
"version": "2.0.0",
"tasks": [
{
"label": "docker build",
"command": "docker",
"args": [
"build",
"-f",
"${file}",
"."
]
}
]
}
\ No newline at end of file
{
"name": "LaTex",
"workspaceFolder": "/workdir",
"workspaceMount": "source=${localWorkspaceFolder},target=/workdir,type=bind,consistency=delegated",
"remoteUser": "vscode",
"image": "andrijoos/devcontainer-latex:latest",
"customizations": {
"vscode": {
"extensions": [
"James-Yu.latex-workshop"
]
}
}
}
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment