update ssh config

bootstrap.sh

@@ -147,7 +147,7 @@ function boot_wsl(){
     mv -f ~/.ssh/config ~/.ssh/config.bck
   fi
   rm -f ~/.ssh/config
-  yes | cp -f $PWD/src/config_wsl ~/.ssh/config &>/dev/null
+  yes | cp -f $PWD/src/ssh.config ~/.ssh/config &>/dev/null
 }
 
 function --help(){

bootstrap_remote.sh

@@ -40,7 +40,7 @@ else
       ;;
     *)
       remote_command=$1
-      echo -e "Executing \e[31m$remote_command\e[0m ..."
+      echo -e "Command to execute \e[31m$remote_command\e[0m ..."
       ;;
   esac
 fi

src/config_wsl → src/ssh.config

@@ -5,7 +5,6 @@ ControlMaster auto
 ControlPersist 5
 ForwardX11 yes
 ForwardX11Trusted yes
-PreferredAuthentications publickey,keyboard-interactive,password
 
 Host ihep.cc
   User root

tools/setdocker.py

 #!/usr/bin/python3
 import json
 import argparse
-import os, sys
-import copy
+import os
 
 parser = argparse.ArgumentParser()
 parser.add_argument("--proxy", type = str, default = "http://192.168.32.92:7890")

tools/setsettings.py

 #!/usr/bin/python3
 import json
-import os, sys
-import copy
+import sys
 
 def merge_list(old_list, new_list):
     merged_list = old_list + new_list