diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/launch-website.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/scripts/launch-website.sh b/scripts/launch-website.sh new file mode 100755 index 0000000..dda894d --- /dev/null +++ b/scripts/launch-website.sh | |||
@@ -0,0 +1,13 @@ | |||
1 | #!/usr/bin/env bash | ||
2 | |||
3 | # sleep and the sub-command are there to make sure wget is called *after* `make website` has started. This ensures the website to be fetched correctly. | ||
4 | (sleep 10; | ||
5 | wget --recursive --no-parent --domains localhost --page-requisites --html-extension --convert-links --no-clobber http://localhost:4567/docs/providers/mailgun/; | ||
6 | |||
7 | rm -rf terraform-provider-website; | ||
8 | mv localhost:4567/ terraform-provider-website; | ||
9 | mv index.html terraform-provider-website/index.html | ||
10 | |||
11 | docker stop "$(docker ps -q)") & | ||
12 | |||
13 | make website | ||