docs: Update contributing guidelines

Also add a script to run all the examples.

CONTRIBUTING.md

@@ -77,7 +77,6 @@ The checks we perform are the following:
 * Ensure files don't contain merge conflict strings.
 * Ensure files end with a single blank line.
 * Ensure we only use Unix line endings.
-* Ensure test files are correctly named.
 * Trim trailing whitespace.
 * Ensure we use [type-hinting][typing].
 * Check for common mistakes in [reStructuredText][rest] in our documentation.
@@ -133,8 +132,6 @@ search for and install them. These are the ones we recommend:
 * **Conventional Commits:** Adhere to the [Conventional Commits][conventional]
  specification for commit messages.
 * **Coverage Gutters:** Display test coverage in the editor.
-* **GitLab Workflow:** Integrate GitLab issues, merge requests, and pipelines
- into VS Code.
 * **GitLens — Git supercharged:** Integrate some of the powerful features of
  [GitKraken][kraken] into VS Code.
 * **IntelliCode:** AI-assisted development features.
@@ -472,10 +469,10 @@ Feel free to commit and push small chunks early and often and then use `git
 rebase -i` to reorganize your commits before sharing.
 
 > **Note:** If you rebase a branch that's already been pushed to a remote,
-> you'll wind up changing the history, which will require a force push with
-> `git push origin +<branch-name>`. That is permissible (even encouraged), but
-> if you've had one or more reviewers or collaborators working with you on the
-> branch, *get their buy-in first* before doing a force push.
+> you'll wind up changing the history, which will require a force push. That
+> is permissible (even encouraged), but if you've had one or more reviewers or
+> collaborators working with you on the branch, *get their buy-in first* before
+> doing a force push.
 
 ### When Work is Complete
 

example/run-all.bash

@@ -0,0 +1,33 @@
+#!/usr/bin/env bash
+quote_arg() {
+ if [[ "$1" =~ ( ) ]]; then
+ echo -n "'$1' "
+ else
+ echo -n "$1 "
+ fi
+}
+
+run_script() {
+ echo
+ echo -n "~~~~~ Running "
+ for arg in "$@"; do
+ quote_arg "${arg}"
+ done
+ echo " ~~~~~"
+ echo
+ python3 "$@"
+ echo
+}
+
+ORIG_DIR=$(pwd)
+SCRIPT_DIR=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &> /dev/null && pwd)
+cd "${SCRIPT_DIR}" || exit 1
+python3 -m pip uninstall -y shell-logger
+cd ..
+python3 -m pip install .
+cd "${SCRIPT_DIR}" || exit 1
+run_script hello_world_html.py
+run_script hello_world_html_and_console.py
+run_script hello_world_html_with_stats.py
+run_script build_flex.py
+cd "${ORIG_DIR}" || exit 1