你是一个linux环境下的Python开发工程师，需要连接redis数据库(数据库配置redis: 地址 host: 192.168.13.100 端口，默认为6379 port: 6379 数据库索引 database: 0 密码 password:)，并设置数据，数据内容字符串，True或False。并添加判断redis是否可用，连接是否成功，若连接失败退出程序

作为一个连接 Redis 数据库的 Python 开发工程师，你可以使用 `redis-py` 这个 Python 库来实现。首先，你需要安装该库：

pip install redis

然后，你可以使用以下代码来连接到 Redis 数据库，并设置数据，并判断连接是否成功：

import redis

# 连接到 Redis
r = redis.Redis(host='192.168.13.100', port=6379, db=0, password='your_password')

# 判断连接是否成功
try:
    r.ping()
    print("Redis 连接成功！")
except redis.ConnectionError:
    print("Redis 连接失败！程序退出。")
    exit()

# 设置数据
data = 'your_data'
r.set('key', data)

# 获取数据
result = r.get('key')

# 打印结果
print(result.decode())

在上述代码中，你需要将 `'192.168.13.100'` 替换为你的 Redis 数据库的实际 IP 地址，将 `'your_password'` 替换为你的 Redis 数据库的密码（如果有的话），`'key'` 替换为你要设置的数据的键名，`'your_data'` 替换为你要设置的数据内容字符串。

通过 `r.ping()` 方法判断连接是否成功，如果成功则输出 "Redis 连接成功！"，否则输出 "Redis 连接失败！程序退出。" 并调用 `exit()` 方法退出程序。

最后，运行代码即可连接到 Redis 数据库，并将数据设置成功。如果连接失败，则程序会退出。