blob: f283783ed0263befe384daf55047497afdc7d596 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#!/bin/bash
set -e
DIR="$1"
if [[ -z "$DIR" ]]; then
echo "Usage: $0 <INSTALL DIR>"
exit 1
fi
COMPRESSED_IMAGE="devel-system-armv7-versatile.img.gz"
DECOMPRESSED_IMAGE=${COMPRESSED_IMAGE/.gz/}
KERNEL_IMAGE="devel-system-armv7-versatile.zimage"
if [[ ! -d "$DIR" ]]; then
mkdir -p "$DIR"
fi
cd "$DIR"
if [[ ! -f "$COMPRESSED_IMAGE" ]]; then
echo "Downloading development image..."
curl "http://download.baserock.org/baserock/$COMPRESSED_IMAGE" > \
"$COMPRESSED_IMAGE"
fi
if [[ -f "$KERNEL_IMAGE" ]]; then
echo "Downloading kernel image..."
curl "http://download.baserock.org/baserock/$KERNEL_IMAGE" > \
"$KERNEL_IMAGE"
fi
if [[ ! -f "$DECOMPRESSED_IMAGE" ]]; then
echo "Decompressing development image..."
gzip -cd "$COMPRESSED_IMAGE" > "$DECOMPRESSED_IMAGE"
fi
|