1
0
Fork 0
mirror of https://github.com/aclist/dztui.git synced 2024-12-29 13:52:03 +01:00

Propagate .desktop file

This commit is contained in:
aclist 2022-10-27 13:40:42 +09:00
parent 9c4ba1ff7b
commit 2760f38f6f

View file

@ -1649,7 +1649,7 @@ check_version(){
[[ -f $config_file ]] && source $config_file [[ -f $config_file ]] && source $config_file
[[ -z $branch ]] && branch="stable" [[ -z $branch ]] && branch="stable"
check_branch check_branch
[[ ! -d "$freedesktop_path" ]] && freedesktop_dirs [[ ! -f "$freedesktop_path/dzgui.desktop" ]] && freedesktop_dirs
if [[ $version == $upstream ]]; then if [[ $version == $upstream ]]; then
check_unmerged check_unmerged
else else