Merge branch 'TODO-tweaking' into 'pregmod-master'

Todo tweaking [Ready for merge]

Closes #1120

See merge request !5409

devTools/PreCompile.sh

 #!/bin/ksh
-mega-login $1 $2 #U=$1 P=$2 rDir=$3 lDir=$4 repo=$5 Reqs:MEGAcmd,git
-if [ -z "$5" ];then 5='https://gitgud.io/pregmodfan/fc-pregmod.git';fi
+mega-login $1 $2 #U=$1 P=$2 rDir=$3 lDir=$4 Reqs:MEGAcmd,git
 while true;do gen=0;cd $4;
-	if [[ `echo $?` -gt 0 ]];then mkdir -p $4&&git clone -q --depth 1 $5 $4&&cd $4
+	if [[ `echo $?` -gt 0 ]];then mkdir -p $4&&git clone -q --depth 1 https://gitgud.io/pregmodfan/fc-pregmod.git $4&&cd $4
 		if [[ ! `mega-ls $3|cut -c21-24|paste -sd,` =~ `git log|head -1|cut -c8-11` ]];then gen=1;fi #stackoverflow.com/a/15394738
 	fi
 	git fetch -q && if [ `git rev-list ...origin|wc -l` -gt 0 ];then git pull -q&&gen=1;fi #stackoverflow.com/a/17192101