Closed timur-harin closed 5 months ago
@timur-harin yes, definitely, let's remove the install-tl
directory before unzip
@yegor256 Ok, I will do it
@yegor256 Let's also add check if install-tl.zip already here
Do you want:
@yegor256 In PR #335 you can see that I implemented way that if we already have install-tl.zip -> skip wget
@yegor256 Could you please check it?
@yegor256 I think we can close this issue because PR #335 merged
@yegor256
If interrupt installing TeXLive - we will have folder and source, but command will not work because name occupied already unzipped file
Install script does not handle it
Do you think we need to fix it?