Only use Plasma instead of KDE, if KDE version is greater equal 4

This commit is contained in:
Carl Schwan 2019-07-22 13:12:33 +02:00
parent e4dffc4673
commit 11dfe8d016
No known key found for this signature in database
GPG Key ID: 06B35D38387B67BE
1 changed files with 4 additions and 1 deletions

View File

@ -1516,7 +1516,6 @@ get_de() {
de="${XDG_CURRENT_DESKTOP/X\-}" de="${XDG_CURRENT_DESKTOP/X\-}"
de="${de/Budgie:GNOME/Budgie}" de="${de/Budgie:GNOME/Budgie}"
de="${de/:Unity7:ubuntu}" de="${de/:Unity7:ubuntu}"
de="${de/KDE/Plasma}"
elif [[ "$DESKTOP_SESSION" ]]; then elif [[ "$DESKTOP_SESSION" ]]; then
de="${DESKTOP_SESSION##*/}" de="${DESKTOP_SESSION##*/}"
@ -1531,6 +1530,10 @@ get_de() {
de="Trinity" de="Trinity"
fi fi
if [ "$KDE_SESSION_VERSION" -ge "4" ]; then
de="${de/KDE/Plasma}"
fi
# When a window manager is started from a display manager # When a window manager is started from a display manager
# the desktop variables are sometimes also set to the # the desktop variables are sometimes also set to the
# window manager name. This checks to see if WM == DE # window manager name. This checks to see if WM == DE