Skip to content

Commit

Permalink
Tune vscode for gitpod
Browse files Browse the repository at this point in the history
  • Loading branch information
liuxinyu95 committed Feb 20, 2024
1 parent 08ebd73 commit 0a6b010
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions .gitpod.yml
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
image:
file: .docker/gitpod/Dockerfile

vscode:
extensions:
- latex-workshop
# vscode:
# extensions:
# - latex-workshop

tasks:
- init: make
# tasks:
# - init: make

0 comments on commit 0a6b010

Please sign in to comment.