mybin

commit 8edcfdec99b8321ddd656de17cbc8bc2968d04b0
parent a99d5d0f70911352fc63b0b7fb666c16d5b7146b
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue, 22 Feb 2022 17:23:33 +0100

work around "Operation not permitted" error

https://bugzilla.redhat.com/show_bug.cgi?id=1913358
https://github.com/flatpak/xdg-desktop-portal/issues/553

Diffstat:
df-alert
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/df-alert b/df-alert
@@ -23,7 +23,7 @@ then
 fi
 
 # other disks
-df | awk '{print $6}' | grep '^/mnt' | while read l
+df -t ext4 | awk '{print $6}' | grep '^/mnt' | while read l
 do
   do_check "$l"
 done