1
0
Fork 0
mirror of https://github.com/aclist/dztui.git synced 2024-12-28 21:32:36 +01:00
This commit is contained in:
aclist 2022-08-05 04:10:07 +09:00 committed by GitHub
parent a5bc902b7c
commit e5378a85d5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -665,7 +665,7 @@ check_branch(){
upstream=$(curl -Ls "$version_url" | awk -F= '/^version=/ {print $2}')
}
check_version(){
if [[ ! -f $config_file ]]; then : else source $config_file; fi
if [[ ! -f $config_file ]]; then : ; else source $config_file; fi
if [[ -z $branch ]]; then
branch="stable"
fi