enable dev site from container

This commit is contained in:
Thomas Clavier 2023-11-22 23:06:30 +01:00
parent f6e4f96ccd
commit 2e6f0de631
No known key found for this signature in database
GPG Key ID: 20CCE23E53E6E41A
2 changed files with 7 additions and 1 deletions

View File

@ -101,6 +101,7 @@ Then, run the Docker container:
$ docker run --rm -it \ $ docker run --rm -it \
-u $(id -u):$(id -g) \ -u $(id -u):$(id -g) \
-v $(pwd):/workspace \ -v $(pwd):/workspace \
-p 7998:7998 \
fa-builder fa-builder
Within the container, build the font: Within the container, build the font:
@ -108,6 +109,10 @@ Within the container, build the font:
$ npm ci $ npm ci
$ make -C src/icons $ make -C src/icons
Build the web documentation and serve it on a local server on http://localhost:7998:
$ npm run dev
<!--- reference links for badges --> <!--- reference links for badges -->
[all-contrib]: https://img.shields.io/badge/all_contributors-128-orange.svg "All Contributors badge" [all-contrib]: https://img.shields.io/badge/all_contributors-128-orange.svg "All Contributors badge"

View File

@ -1,6 +1,7 @@
safe: false safe: false
port: 7998 port: 7998
url: http://localhost:7998 host: 0.0.0.0
url: http://0.0.0.0:7998
source: src/doc/ source: src/doc/
destination: _site destination: _site