only cleaning

2023-07-10 12:00:25 +02:00
parent 392ef79b28
commit 9121541b3c
47 changed files with 428 additions and 565 deletions
@@ -103,6 +103,7 @@ get_distribution_release() {
 check_supported_distribution() {
    local distribution=$(get_distribution_release)
    case "$distribution" in
+        "ubuntu23.10") return 0 ;;
        "ubuntu22.04") return 0 ;;
        "ubuntu21.04") return 0 ;;
        "ubuntu20.04") return 0 ;;