diff options
-rwxr-xr-x | Master/install-tl | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Master/install-tl b/Master/install-tl index afde6698fb3..14b6e71ceac 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -10,9 +10,13 @@ # # TODO: # - if -gui is given make the check on availability *before* loading the -# tlpdb to give people a chance to Ctrl-C and install missing -# components first before (uselessly) loading the tlpdb (Werner 28.10.08) +# tlpdb to give people a chance to Ctrl-C (or even ask them whether they +# want to continue or not) and install missing components first before +# (uselessly) loading the tlpdb (Werner 28.10.08) # - with -gui pop up a transient window showing: +# testing for compressed archive packages ... +# testing for uncompressed live system ... +# testing for network access ... # loading tlpdb, this can take some time ... # (Werner 28.10.08) # |