Pour tout problème contactez-nous par mail : support@froggit.fr | La FAQ :grey_question: | Rejoignez-nous sur le Chat :speech_balloon:

Skip to content
Snippets Groups Projects

Resolve "doc: use gitpod.io with Froggit.fr"

Merged Christophe Chaudier requested to merge 59-doc-use-gitpod-io-with-froggit into master
All threads resolved!
1 file
+ 9
2
Compare changes
  • Side-by-side
  • Inline
+ 9
2
@@ -3,6 +3,13 @@
# and commit this file to your remote git repository to share the goodness with others.
tasks:
- name: install fonts
before: |
curl -L https://download.jetbrains.com/fonts/JetBrainsMono-2.242.zip --output /tmp/JetBrainsMono.zip
cd /tmp/
unzip JetBrainsMono.zip
sudo mv fonts/* /usr/share/fonts
fc-cache -f -v
- init: npm install && npm run build
command: npm run start
# Ports to expose on workspace startup
@@ -11,9 +18,9 @@ ports:
onOpen: open-browser
vscode:
extensions:
- bierner.markdown-preview-github-styles
- GitLab.gitlab-workflow
- gitlab.gitlab-workflow
- pinage404.git-extension-pack
- bierner.markdown-preview-github-styles
- DavidAnson.vscode-markdownlint
- silvenon.mdx
- esbenp.prettier-vscode
Loading