summaryrefslogtreecommitdiff
path: root/Master/common.sh
diff options
context:
space:
mode:
Diffstat (limited to 'Master/common.sh')
-rwxr-xr-xMaster/common.sh11
1 files changed, 10 insertions, 1 deletions
diff --git a/Master/common.sh b/Master/common.sh
index c69a5cb3f77..29f37cfb8ff 100755
--- a/Master/common.sh
+++ b/Master/common.sh
@@ -307,7 +307,14 @@ this_platform_set()
eval this_platform_fn=\$p_${this_system}_fn
all_systems_ns=1
fi
-
+ if { echo "$all_systems" | grep -q " $this_system"; } ; then
+ warn_nobin=""
+ else
+ warn_nobin="===> WARNING: No binaries for this platform on CD! <===
+There was not enough space, sorry. You can either select a different
+set of binaries from the <B> menu, or use the live image, or download
+the binaries separately vis rsync. See http://tug.org/texlive."
+ fi
}
TEXMFCNF__fix_texmf()
@@ -844,6 +851,7 @@ Other options:
'
screen_5='Current platform: $this_platform_n
+$warn_nobin
==============================================================================
<N> none of the entries below
<A> $p_i386_linux_n
@@ -1023,6 +1031,7 @@ init()
TEXMFHOME=${TEXLIVE_INSTALL_TEXMFHOME-'$HOME/texmf'}
VAR_CHANGE=""
LOCAL_CHANGE=""
+ warn_nobin=""
screen_1=' ===================> TeX Live installation procedure <==================