2017-09-13 14:49:10 +02:00
|
|
|
#!/bin/bash
|
2017-09-18 21:40:05 +02:00
|
|
|
|
2019-05-30 20:51:22 +02:00
|
|
|
#=================================================
|
|
|
|
# COMMON VARIABLES
|
|
|
|
#=================================================
|
|
|
|
|
2020-05-01 22:09:37 +02:00
|
|
|
debian_maj_version=$(sed 's/\..*//' /etc/debian_version)
|
|
|
|
|
|
|
|
if [ "$debian_maj_version" -eq 9 ] ; then
|
|
|
|
weblate_pypath="python3.5"
|
|
|
|
elif [ "$debian_maj_version" -eq 10 ] ; then
|
|
|
|
weblate_pypath="python3.7"
|
2021-06-11 16:13:43 +02:00
|
|
|
elif [ "$debian_maj_version" -eq 11 ] ; then
|
|
|
|
weblate_pypath="python3.9"
|
2024-01-18 13:12:54 +01:00
|
|
|
elif [ "$debian_maj_version" -eq 12 ] ; then
|
|
|
|
weblate_pypath="python3.11"
|
2020-05-01 22:09:37 +02:00
|
|
|
fi
|
|
|
|
|
2022-07-13 00:48:56 +02:00
|
|
|
#=================================================
|
|
|
|
# PERSONAL HELPERS
|
|
|
|
#=================================================
|
|
|
|
|
2022-08-11 19:48:34 +02:00
|
|
|
set_forge_variables() {
|
2022-08-11 20:32:44 +02:00
|
|
|
if [ $used_forge = "GitHub" ] ; then
|
2023-01-12 10:23:56 +01:00
|
|
|
github_username="$forge_username"
|
|
|
|
github_token="$forge_token"
|
2022-08-11 19:48:34 +02:00
|
|
|
gitlab_username="None"
|
|
|
|
gitlab_token="None"
|
|
|
|
else
|
|
|
|
github_username="None"
|
|
|
|
github_token="None"
|
2023-01-12 10:23:56 +01:00
|
|
|
gitlab_username="$forge_username"
|
|
|
|
gitlab_token="$forge_token"
|
2022-08-11 19:48:34 +02:00
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
2019-05-30 20:51:22 +02:00
|
|
|
#=================================================
|
2020-10-28 12:02:15 +01:00
|
|
|
# EXPERIMENTAL HELPERS
|
2019-05-30 20:51:22 +02:00
|
|
|
#=================================================
|
2017-11-20 15:58:51 +01:00
|
|
|
|
2018-10-19 23:28:40 +02:00
|
|
|
# get the first available redis database
|
|
|
|
#
|
|
|
|
# usage: ynh_redis_get_free_db
|
|
|
|
# | returns: the database number to use
|
|
|
|
ynh_redis_get_free_db() {
|
|
|
|
local result max db
|
|
|
|
result=$(redis-cli INFO keyspace)
|
|
|
|
|
|
|
|
# get the num
|
|
|
|
max=$(cat /etc/redis/redis.conf | grep ^databases | grep -Eow "[0-9]+")
|
|
|
|
|
|
|
|
db=0
|
|
|
|
# default Debian setting is 15 databases
|
|
|
|
for i in $(seq 0 "$max")
|
|
|
|
do
|
|
|
|
if ! echo "$result" | grep -q "db$i"
|
|
|
|
then
|
|
|
|
db=$i
|
|
|
|
break 1
|
|
|
|
fi
|
|
|
|
db=-1
|
|
|
|
done
|
|
|
|
|
2024-01-18 14:16:32 +01:00
|
|
|
test "$db" -eq -1 && ynh_die --message="No available Redis databases..."
|
2018-10-19 23:28:40 +02:00
|
|
|
|
|
|
|
echo "$db"
|
|
|
|
}
|
|
|
|
|
|
|
|
# Create a master password and set up global settings
|
|
|
|
# Please always call this script in install and restore scripts
|
|
|
|
#
|
|
|
|
# usage: ynh_redis_remove_db database
|
|
|
|
# | arg: database - the database to erase
|
|
|
|
ynh_redis_remove_db() {
|
|
|
|
local db=$1
|
|
|
|
redis-cli -n "$db" flushall
|
2019-05-12 17:29:20 +02:00
|
|
|
}
|
2019-05-30 20:51:22 +02:00
|
|
|
|
|
|
|
#=================================================
|
2022-07-13 00:48:56 +02:00
|
|
|
# FUTURE OFFICIAL HELPERS
|
2019-05-30 20:51:22 +02:00
|
|
|
#=================================================
|