(20241225) Work started on upgrades and server-registration module.

ssh_server.sh

@@ -19,11 +19,12 @@ if [[ $SELECTION -gt 0 && $SELECTION -le ${#SERVERS[@]} ]]; then
     # Note down the selection in a variable:
     SELECTED_SERVER=${SERVERS[$((SELECTION - 1))]}
 
-    # Ask the user which directory he wants to upload and his username on the server:
+    # Ask the username and target port no. on the server::
     read -rp "Your username on the server ..... : " USER
+    read -rp "The target port no. ............. : " PORT
 
     # Run the command:
-    ssh -p 19991 "$USER@$SELECTED_SERVER"
+    ssh -p "$PORT" "$USER@$SELECTED_SERVER"
 
     # Exit with success (assuming that the actual data sending went well):
     echo "session ended"