diff options
| -rwxr-xr-x | Master/install-tl | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index b1103da9830..adc4ef190b4 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -703,6 +703,16 @@ sub load_tlpdb { $vars{'sys_bin'} = $tlpdb->option_sys_bin; $vars{'sys_man'} = $tlpdb->option_sys_man; $vars{'sys_info'} = $tlpdb->option_sys_info; + + # check that the default scheme is actually present, otherwise switch to + # scheme-minimal + if (!defined($tlpdb->get_package($default_scheme))) { + if (!defined($tlpdb->get_package("scheme-minimal"))) { + die("Something is going seriously bad, cannot find nor $default_scheme nor scheme_minimal!"); + } + $default_scheme = "scheme-minimal"; + $vars{'selected_scheme'} = $default_scheme; + } } sub initialize_collections { |