mirror of
https://github.com/gradio-app/gradio.git
synced 2024-11-27 01:40:20 +08:00
bdced314bc
* Being nice to the user * Front-end builder, CircleCI runner, and Gradio installer updated * The testing scripts updated * Front-end runner and the website launcher updated * The formatters updated * GitHub Actions and PyPI uploader scripts updated * Updating the URLs * Removing commented codes * Delete a blank line
15 lines
193 B
Bash
15 lines
193 B
Bash
#!/bin/bash
|
|
|
|
cd "$(dirname ${0})/.."
|
|
source scripts/helpers.sh
|
|
|
|
npm_required
|
|
|
|
echo "Building the website..."
|
|
set -e
|
|
cd website/homepage
|
|
npm install
|
|
npm run build
|
|
cd build
|
|
python -m http.server
|