etc/profile.d/sys.sh

diff --git a/etc/profile.d/sys.sh b/etc/profile.d/sys.sh
index 30ad9b4c90bc9e4f80fa5caeb0c0069e8bf23a2c..47e87a15044cc0c680c64fbbfe7cfa8abfdd783b 100644 (file)
--- a/etc/profile.d/sys.sh
+++ b/etc/profile.d/sys.sh
@@ -42,7 +42,8 @@ sys_arch() {
 sys_df() {
        df -k -l | tail -n +2 | while read -r -a i; do
                mount=${i[0]}
-               [ -e "$mount" ] || continue
+               # On docker root / mount point is "none"
+               [ -e "$mount" -o "$mount" = "/" ] || continue
                used=${i[2]}
                free=${i[3]}
                pcent=${i[4]}