From d9f75432345986b919a8ebd50458c957c2c382bc Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Sun, 17 Feb 2019 21:47:36 +0000
Subject: [PATCH] etc/profile.d/sys.sh

---
 etc/profile.d/sys.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/profile.d/sys.sh b/etc/profile.d/sys.sh
index 30ad9b4c..47e87a15 100644
--- 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]}
-- 
2.47.3