Packages the target into static HTML pages
pxt staticpkg [--route route] [--githubpages] [--output output] [--locs-src locs-src]
Compiles the PXT editor into static HTML files that can be served without a server or integrated into an app. The resulting files are placed in built/packaged.
Routing path. If missing, defaults to local. The route will be injected into the all the paths in the application.
Generate a web site compatible with GitHub pages.
Directory for generated files.
This directory is cleaned before starting the process.
Directory to fetch editor translations to include in the build.
Files must be listed as follows:
{locs-src}/{lang id}/target-strings.json
{locs-src}/{lang id}/sim-strings.json
{locs-src}/{lang id}/{package id}-strings.json
{locs-src}/{lang id}/{package id}-jsdoc-strings.json
where {locs-src} is the directory parameter passed in here,
{lang id} is one of the language identifiers listed as in availableLocales in pxtarget.json,
and {package id} is the for packages listed in bundleddirs (e.g. core).
Minifies all generated js files.
Generate a web site compatible with GitHub pages.
Bump version number generating pages.
Running pxt staticpkg will create a number of files under built/packaged.
You can use pxt serve -pkg or any other any web server. For example, you can use http-server for easy testing.
npm install -g http-server
http-server -c-1 built/packaged
You can also run pxt staticpkg --route foo, which will create files under built/packaged/foo
that assume they sit under /foo/ on the web server. If you do not specify anything,
the files assume they sit right under /. To test it, run pxt serve -pkg and head to
http://localhost:3232/foo/index.html.
GitHub Pages support
GitHub provides you with free hosting for your project files.
If you wish to publish your web site to GitHub pages, simply add --githubpages to the command.
This will:
- create a fresh checkout in
built/gh-pagesif needed - implicitly run
pxt staticpkg --route repo-name - copy files from
built/packaged/repo-nametobuilt/gh-pages - add files to git, commit, and push
You can then head to https://your-username.github.io/repo-name/.