Linux怎么批量执行redis脚本

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