Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mention the web build script in examples/README.md #517

Closed
wants to merge 1 commit into from
Closed

Mention the web build script in examples/README.md #517

wants to merge 1 commit into from

Conversation

ghost
Copy link

@ghost ghost commented Sep 26, 2023

Description

I think the build.bash script should be mentioned in the README.

Related Issues

The build script tried to move resources from the nonexistent directory examples/cube/resources/ so I corrected that too.

Copy link
Member

@cwfitzgerald cwfitzgerald left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Note, otherwise good

build.bash Outdated
@@ -15,7 +15,7 @@ case $1 in
RUSTFLAGS=--cfg=web_sys_unstable_apis cargo build --target wasm32-unknown-unknown $BUILD_FLAGS --bin $@
mkdir -p target/generated/
rm -rf target/generated/*
cp -r examples/$1/resources target/generated/ || true
cp -r examples/resources target/generated/ || true
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is intentional - some examples (notably scene-viewer) do have resources that need to be copied. The || true lets this command fail, only copying the resources if they exist.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I undid that change, but now there're two commits and i have no idea about squashing and merging them unfortunately.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Github can squash for you, no worries.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh, cool! I had a look but couldn't find anything.

Copy link
Author

@ghost ghost Sep 28, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just tried again manually and fucked it up again; feel free to deny/cancel this pull request, i've no idea what i'm doing.

Oh no wait, it should be git push --force at the end! Every time i've tried it before the number of commits just got bigger...

Copy link
Member

@cwfitzgerald cwfitzgerald left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Wrong button

@ghost ghost marked this pull request as draft September 28, 2023 03:14
@cwfitzgerald cwfitzgerald marked this pull request as ready for review September 28, 2023 06:50
@cwfitzgerald cwfitzgerald enabled auto-merge (squash) September 28, 2023 06:50
auto-merge was automatically disabled September 28, 2023 07:24

Head branch was pushed to by a user without write access

Repository owner closed this by deleting the head repository Oct 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants