要批量执行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服务器的连接参数。
