diff options
author | B Stack <bgstack15@gmail.com> | 2019-09-11 11:40:56 -0400 |
---|---|---|
committer | B Stack <bgstack15@gmail.com> | 2019-09-11 11:40:56 -0400 |
commit | 044bc9fb5e6dec7caec4d8cf188f8c6831033a4b (patch) | |
tree | dc800e57c3c88290e0c56e610e69048175794d23 /lightdm-webkit2-greeter/debian/prerm | |
parent | add lightdm-webkit2-greeter (diff) | |
download | stackrpms-044bc9fb5e6dec7caec4d8cf188f8c6831033a4b.tar.gz stackrpms-044bc9fb5e6dec7caec4d8cf188f8c6831033a4b.tar.bz2 stackrpms-044bc9fb5e6dec7caec4d8cf188f8c6831033a4b.zip |
minor improvements and first upload attempt to OBS
However, with OBS Debian_Unstable down for now, I cannot confirm its
success. I can build locally, however.
Diffstat (limited to 'lightdm-webkit2-greeter/debian/prerm')
-rw-r--r-- | lightdm-webkit2-greeter/debian/prerm | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lightdm-webkit2-greeter/debian/prerm b/lightdm-webkit2-greeter/debian/prerm new file mode 100644 index 0000000..704ebf7 --- /dev/null +++ b/lightdm-webkit2-greeter/debian/prerm @@ -0,0 +1,8 @@ +#!/bin/sh -e +case "$1" in + + remove|deconfigure) + update-alternatives --remove lightdm-default-greeter.desktop /usr/share/xgreeters/lightdm-webkit2-greeter.desktop + ;; + +esac |