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
13 lines
203 B
Bash
Executable File
13 lines
203 B
Bash
Executable File
#!/bin/bash
|
|
|
|
cd "$(dirname ${0})/.."
|
|
source scripts/helpers.sh
|
|
|
|
pnpm_required
|
|
|
|
echo "Formatting the frontend... Also we'll do type checking with TypeScript."
|
|
cd ui
|
|
pnpm i
|
|
pnpm format:write
|
|
pnpm ts:check
|