Fix: trashman_distro: /etc/os-release support

diff --git a/share/trashman/trashman/functions b/share/trashman/trashman/functions
index a29ab4f0a9c2872b27ca7f7d86ca4d3ac6eff179..4fbd24ceade08aaf510290c28e133955726e78ad 100644 (file)
--- a/share/trashman/trashman/functions
+++ b/share/trashman/trashman/functions
@@ -33,7 +33,9 @@ trashman_family() {
 trashman_distro() {
   local uname="`trashman_family`"
 
-  if [ "$uname" = "linux" ]; then
+  if [ -e "/etc/os-release" ]; then
+    grep "^ID=" /etc/os-release | cut -d '=' -f 2
+  elif [ "$uname" = "linux" ]; then
     if [ -e "/etc/debian_version" ]; then
       echo "debian"
     else