From 0038aaeb180a0ad2224940cd26655bb8401e5e5d Mon Sep 17 00:00:00 2001
From: Simon Long <simon@raspberrypi.org>
Date: Wed, 24 Apr 2019 13:49:33 +0100
Subject: [PATCH] Install Compton if needed

---
 raspi-config | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/raspi-config b/raspi-config
index 3e14ba3..165ec7c 100755
--- a/raspi-config
+++ b/raspi-config
@@ -1333,6 +1333,9 @@ do_compton() {
     ASK_TO_REBOOT=1
   fi
   if [ $RET -eq 0 ]; then
+    if [ ! -e /usr/bin/compton ] ; then
+      apt-get -y install compton
+    fi
     cat << EOF > /etc/xdg/autostart/compton.desktop
 [Desktop Entry]
 Type=Application