From e6bd6c1a390ab3bbc4cc6e20954414cd3e9da23b Mon Sep 17 00:00:00 2001 From: Paulo Dias Date: Tue, 8 Jan 2019 20:47:52 +0000 Subject: [PATCH] mkpackage: use www.lsts.pt instead of lsts.pt. # Conflicts: # mkpackage.bash --- mkpackage.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkpackage.bash b/mkpackage.bash index 0311b49..de9be4b 100755 --- a/mkpackage.bash +++ b/mkpackage.bash @@ -72,7 +72,7 @@ download() fi # First try LSTS mirror. - lsts_url="http://lsts.pt/glued/$(basename $u)" + lsts_url="https://www.lsts.pt/glued/$(basename $u)" download_tool "$lsts_url" "$cfg_dir_downloads/$file" if [ $? -ne 0 ]; then # Then try OceanScan-MST mirror.