# get_files.sh - fetch this page's files into the folder you are in.
SITE=https://krueng.ai/openshell_assets
for name in check_kernel.py install_docker.sh check_docker.sh install_openshell.sh \
    first_try.sh use_vm.sh Dockerfile make_image.sh make_sandbox.sh look_inside.sh \
    try_network.sh allow_reading.sh ask_github.py review.sh decide.py predict.sh \
    key_server.py notes_api.yaml fetch_notes.py keys.sh make_venv.sh hello_sdk.py \
    use_python.sh clean_up.sh; do
  curl -fsSO "$SITE/$name"
done
ls