Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 16 lines (11 sloc) 360 Bytes
#!/bin/bash
set -e
BASE_PATH="$PWD/external"
BASE_URL="http://bellard.org/jslinux"
FILES="cpux86.js cpux86-ta.js linuxstart.bin root.bin vmlinux26.bin"
# FILE="index.html term.js jslinux.js $FILES"
mkdir -p "$BASE_PATH"
for file in $FILES; do
echo "Downloading $BASE_URL/$file to $BASE_PATH/$file"
curl "$BASE_URL/$file" -o "$BASE_PATH/$file"
done