diff --git a/tinydm-set-session.sh b/tinydm-set-session.sh index b75b8700d46703956f8e28e093789d8c433f38dd..88822230d0b73027297a28cf3ec3aa2a34a9f3c8 100644 --- a/tinydm-set-session.sh +++ b/tinydm-set-session.sh @@ -26,6 +26,12 @@ mkdir -p /var/lib/tinydm target="/var/lib/tinydm/default-session.desktop" session_old=$(readlink -f $target) + +# Be quiet in post-install scripts if the desired session is already set +if [ "$session_old" = "$session" ]; then + exit 0 +fi + if [ -e "$session_old" ] && ! $force; then echo "tinydm: Session already set to: $session_old" echo "tinydm: To change it, run: 'tinydm-set-session -f -s $session'"