blob: eb390c4e4a355dafaf4ceffa20bf66c92d8e0d23 (
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
38
39
|
#!/bin/bash
set -e
DIR="$1"
IMAGE_BASENAME="$2"
if [[ -z "$IMAGE_BASENAME" ]]; then
echo "Usage: $0 <INSTALL DIR> <IMAGE BASE NAME>"
echo "Example: $0 . devel-system-armv7-versatile"
exit 1
fi
COMPRESSED_IMAGE="$IMAGE_BASENAME.img.gz"
DECOMPRESSED_IMAGE=${COMPRESSED_IMAGE/.gz/}
KERNEL_IMAGE="$IMAGE_BASENAME.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
|
