egui/sh/wasm_size.sh

#!/usr/bin/env bash
set -eu
script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
cd "$script_path"

./build_demo_web.sh && ls -lh ../docs/*.wasm
Use proper shebang for all bash scripts: #!/usr/bin/env bash 2022-04-07 15:34:34 +00:00			`#!/usr/bin/env bash`
Move shell scripts into sh/ subfolder 2021-05-09 11:28:24 +00:00			`set -eu`
			`script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )`
			`cd "$script_path"`

Small code cleanup 2021-10-23 03:58:57 +00:00			`./build_demo_web.sh && ls -lh ../docs/*.wasm`