chore(global): 👷 improve 404 page and Gitpod config, plus some VSC ws config changes

Also in this commit, we also apply changes needed for
the use of social cards in the theme we do use.

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
This commit is contained in:
Andrei Jiroh Halili 2023-03-24 17:36:48 +00:00
parent e4d61e9f51
commit d9b6b87724
6 changed files with 52 additions and 9 deletions

View file

@ -4,12 +4,22 @@
# Learn more from ready-to-use templates: https://www.gitpod.io/docs/introduction/getting-started/quickstart
checkoutLocation: tildeweb-ajhalili2006
image:
file: .gitpod.Dockerfile
tasks:
- init: |
python3 -m venv .venv
source .venv/bin/activate
pip3 install -r requirements.txt
command: mkdocs serve
command: |
# since it might not be carried on venv shell, we did this instead
FF_ENABLE_COMMIT_DATA=true mkdocs serve
name: site-localdev
env:
FF_ENABLE_COMMIT_DATA: "true" # Required to use git-revision-date-localized, like in prod.
ports:
- port: 8000