diff options
| author | Hsieh Chin Fan <pham@topo.tw> | 2024-10-13 11:08:07 +0800 |
|---|---|---|
| committer | Hsieh Chin Fan <pham@topo.tw> | 2024-10-13 11:21:10 +0800 |
| commit | e7f2e58347fd6818e40504a31c924490a681b19d (patch) | |
| tree | 2b36be486927795f0b03f725d131182fdb2c9a48 /scripts | |
| parent | 2e6cf32372757b5622197155590b6c939181da52 (diff) | |
chore: add scripts for gh-pages
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/gh-pages.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/gh-pages.sh b/scripts/gh-pages.sh new file mode 100755 index 0000000..e44bab4 --- /dev/null +++ b/scripts/gh-pages.sh | |||
| @@ -0,0 +1,9 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | |||
| 3 | git checkout -- .gitignore index.html && \ | ||
| 4 | npm run build && npm run docs && \ | ||
| 5 | git branch --force gh-pages HEAD && \ | ||
| 6 | git checkout gh-pages && \ | ||
| 7 | git add --all && git commit -m gh-pages && \ | ||
| 8 | git push -f && | ||
| 9 | git checkout HEAD^ | ||