|
...
|
...
|
@@ -84,13 +84,13 @@ case "$lsb_dist" in
|
|
84
|
84
|
}
|
|
85
|
85
|
|
|
86
|
86
|
# TODO remove this section once device-mapper lands
|
|
87
|
|
- if ! grep -q aufs /proc/filesystems && ! modprobe aufs; then
|
|
|
87
|
+ if ! grep -q aufs /proc/filesystems && ! $sh_c 'modprobe aufs'; then
|
|
88
|
88
|
kern_extras="linux-image-extra-$(uname -r)"
|
|
89
|
89
|
|
|
90
|
90
|
apt_get_update
|
|
91
|
91
|
( set -x; $sh_c 'sleep 3; apt-get install -y -q '"$kern_extras" ) || true
|
|
92
|
92
|
|
|
93
|
|
- if ! grep -q aufs /proc/filesystems && ! modprobe aufs; then
|
|
|
93
|
+ if ! grep -q aufs /proc/filesystems && ! $sh_c 'modprobe aufs'; then
|
|
94
|
94
|
echo >&2 'Warning: tried to install '"$kern_extras"' (for AUFS)'
|
|
95
|
95
|
echo >&2 ' but we still have no AUFS. Docker may not work. Proceeding anyways!'
|
|
96
|
96
|
( set -x; sleep 10 )
|