要批量執行redis腳本，你可以使用redis-cli工具和Shell腳本來實現。
以下是一個示例的Shell腳本，用于批量執行redis腳本：
#!/bin/bash
# 讀取redis命令腳本文件列表
script_files=("script1.lua" "script2.lua" "script3.lua")
# 連接redis服務器
redis_host="localhost"
redis_port="6379"
for script_file in "${script_files[@]}"
do
echo "執行腳本文件: $script_file"
# 使用redis-cli執行腳本
redis-cli -h $redis_host -p $redis_port --eval $script_file
echo "腳本文件執行完畢: $script_file"
done
將上述腳本保存為一個擴展名為.sh的文件（例如execute_scripts.sh），并給予執行權限：
chmod +x execute_scripts.sh
確保你已經安裝了redis-cli工具。然后，你可以運行這個腳本來批量執行redis腳本文件：
./execute_scripts.sh
這將依次執行腳本文件列表中的每個腳本文件，并在每個腳本文件執行完成后輸出相應的消息。你可以根據實際情況修改腳本文件列表和redis服務器的連接參數。
