Ubuntu Pastebin

Paste from ken at Mon, 10 Jul 2017 13:37:00 +0000

Download as text 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
=== modified file 'debian/ubuntu-session.postinst'
--- debian/ubuntu-session.postinst	2017-07-06 14:57:03 +0000
+++ debian/ubuntu-session.postinst	2017-07-10 13:36:38 +0000
@@ -10,9 +10,17 @@
 
 DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager
 
+
+if [ -z "$2" ]; then
+  dpkg --compare-versions $2 gt 3.24.1-0ubuntu10~
+  if [ "$?" -eq 0 ]; then
+    exit 0;
+  fi
+fi
+
 if [ "$1" = configure ]; then
-  RET=`grep -c gdm3 $DEFAULT_DISPLAY_MANAGER_FILE || true`
-  if [ $RET -gt 0 ]; then
+  RET=`grep -c lightdm $DEFAULT_DISPLAY_MANAGER_FILE || true`
+  if [ $RET -lt 1 ]; then
     # Nothing to do
     exit 0;
   fi
@@ -31,3 +39,5 @@
     touch $DEFAULT_DISPLAY_MANAGER_FILE.debconf-transition
   fi
 fi
+
+#DEBHELPER#
Download as text